Conference Proceedings

Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving

Peter J Stuckey, A Lodi, M Milano, P Toth

Lecture Notes in Computer Science: International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference 2010 | SPRINGER-VERLAG BERLIN | Published : 2010