Search results for: Josep Argelich
Soft Computing > 2019 > 23 > 7 > 2147-2166
International Journal of Approximate Reasoning > 2017 > 85 > C > 21-35
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Doctoral Papers > 838-838
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Translations to CNF > 161-166
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 15-20
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 1-14
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 28-40
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2011 > Extended Abstracts > 360-361
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 1-15
Annals of Mathematics and Artificial Intelligence > 2016 > 77 > 1-2 > 43-66
Annals of Mathematics and Artificial Intelligence > 2011 > 62 > 3-4 > 317-343
Journal of Heuristics > 2006 > 12 > 4-5 > 375-392