Search results for: Enric Rodriguez
Andrologia > 52 > 11 > n/a - n/a
Reproduction in Domestic Animals > 55 > 4 > 448 - 453
Reproduction in Domestic Animals > 54 > 8 > 1085 - 1094
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
Cryobiology > 2014 > 69 > 3 > 473-481
Theriogenology > 2013 > 79 > 6 > 929-939