Search results for: Mark Liffiton
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 182-195
Constraints > 2013 > 18 > 4 > 478-534
Constraints > 2009 > 14 > 4 > 415-442
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 182-195
Constraints > 2013 > 18 > 4 > 478-534
Constraints > 2009 > 14 > 4 > 415-442