Search results for: Albert Oliveras
British Journal of Haematology > 184 > 3 > 373 - 383
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 77-90
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 4. SMT > 156-169
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 41-55
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 23-46
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 > Computer Aided Verification > Session 15. Abstract Interpretation > 424-437
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 332-347
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 512-526
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 > Logic for Programming, Artificial Intelligence, and Reasoning > 36-50
Lecture Notes in Computer Science > Computer Aided Verification > Decision Procedures and Applications > 321-334
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 78-90
2015 IEEE Symposium Series on Computational Intelligence > 1081 - 1086
BMC Bioinformatics > 2015 > 16 > 1 > 1-15