A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic.

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey

Browse the full SAT paper archive.