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

Rastislav Lenhardt

In the last decade, the power of the state-of-the-art SAT and Integer Programming solvers has dramatically increased. They implement many new techniques and heuristics and since an…