SAT as an Effective Solving Technology for Constraint Problems

Lecture Notes in Computer Science - Foundations of Intelligent Systems ◽

10.1007/11875604_61 ◽

2006 ◽

pp. 540-549 ◽

Cited By ~ 7

Author(s):

Marco Cadoli ◽

Toni Mancini ◽

Fabio Patrizi

Download Full-text