TY  - RPRT
TI  - Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers
AU  - Rastislav Lenhardt
PY  - 2010
UR  - https://arxiv.org/abs/1011.5447
ID  - 1011.5447
ER  -