Search results for: Miquel Bofill
Soft Computing > 2019 > 23 > 7 > 2187-2197
Fuzzy Sets and Systems > 2016 > 292 > C > 32-48
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 3. Short Papers > 300-305
Lecture Notes in Computer Science > Automated Reasoning > Saturation-Based Theorem Proving > 107-121
Lecture Notes in Computer Science > Computer Aided Verification > Session 8: Tools – Decision Procedures > 294-298
Lecture Notes in Computer Science > Automata, Languages and Programming > Specification and Deduction > 951-962
Constraints > 2013 > 18 > 2 > 202-235
Constraints > 2013 > 18 > 2 > 236-268
Journal of Automated Reasoning > 2013 > 50 > 1 > 51-98
Constraints > 2012 > 17 > 3 > 273-303
Journal of Automated Reasoning > 2003 > 30 > 1 > 99-120