Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers

CoRR, abs/1011.5447 (2010)

Abstract