Solving Difference Constraints over Modular Arithmetic.

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

Browse the full CADE paper archive.