Search results for: Knot Pipatsrisawat
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2009 > Research Track Papers > 654-668
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 294-299
Lecture Notes in Computer Science > AI 2007: Advances in Artificial Intelligence > Satisfiability > 223-233
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Automatic Adaption of SAT Solvers > 341-355
Procedia Computer Science > 2016 > 81 > C > 194-200
Innovations in Systems and Software Engineering > 2013 > 9 > 4 > 271-292
Artificial Intelligence > 2011 > 175 > 2 > 512-525
Journal of Automated Reasoning > 2010 > 44 > 3 > 277-301