Search results for: Enric Rodríguez-Carbonell
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 77-90
Lecture Notes in Computer Science > Computer Aided Verification > Session 8: Tools – Decision Procedures > 294-298
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 1. Constraint Solving > 16-30
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 332-347
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Optimisation Algorithms > 453-466
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Translations to CNF > 167-180
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 188-207
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 8. Termination Analysis and Constraint Solving > 294-305
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 1. Constraint Solving > 47-61
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 590-605
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Verification > 325-340
2013 Formal Methods in Computer-Aided Design > 218 - 225
Journal of Automated Reasoning > 2012 > 48 > 1 > 107-131
Constraints > 2011 > 16 > 2 > 195-221
Journal of Automated Reasoning > 2011 > 46 > 1 > 81-102