An Application of SAT Solvers in Integer Programming Games.

Pravesh Koirala, Aditya Shrey, Forrest Laine

Browse the full SAT paper archive.