Search results for: Felip Manyà
Fundamenta Informaticae > 2020 > Vol. 174, nr 1 > 83--101
Science China Information Sciences > 2019 > 62 > 7 > 1-13
Soft Computing > 2019 > 23 > 7 > 2187-2197
Computers & Operations Research > 2017 > 84 > C > 1-15
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 6. MAX-SAT > 240-251
Fuzzy Sets and Systems > 2016 > 292 > C > 32-48
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming > Research Track Short Papers > 582-587
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Full Papers > 96-107
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 > Principles and Practice of Constraint Programming - CP 2002 > Doctoral Program > 784-785
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 2009 > Optimisation Algorithms > 467-480
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 10-15
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 403-414
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Session 2 > 33-43