Accéder directement au contenu

Guillaume Melquiond

2
Documents

Publications

882612
Image document

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
Image document

Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers

 Sylvain Conchon , Guillaume Melquiond , Cody Roux , Mohamed Iguernelala
10th International Workshop on Satisfiability Modulo Theories, Jun 2012, Manchester, United Kingdom. pp.12-21
Communication dans un congrès hal-01785166v1