Optimizations for Compiling Declarative Models into Boolean Formulas.

Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard

Browse the full SAT paper archive.