Orchestrating Satisfiability Engines

Principles and Practice of Constraint Programming – CP 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23786-7_1 ◽

2011 ◽

pp. 1-1 ◽

Cited By ~ 1

Author(s):

Leonardo de Moura

Download Full-text