Jump to Content

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

CoRR, vol. abs/1011.5447 (2010)

Abstract

Research Areas