A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.

Franois Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond

Browse the full CADE paper archive.