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

CoRR, abs/1011.5447(2010)

Abstract

Research Areas