Guillaume Melquiond

Documents

Publications

evelyne-contejean

	A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic François Bobot , Sylvain Conchon , Evelyne Contejean , Mohamed Iguernelala , Assia Mahboubi 6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.67-81, ⟨10.1007/978-3-642-31365-3_8⟩ Communication dans un congrès hal-00687640v2