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

Peter J. Stuckey

Browse the full CPAIOR paper archive.