Mohamed Iguernelala

发表

Evelyne Contejean, Stéphane Lescuyer, S. Conchon, 2010 .

Software and Platforms - The Alt-Ergo theorem prover

Sylvain Conchon, Alain Mebsout, Evelyne Contejean, 2013 .

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories

Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, 2011, TACAS.

A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo

Sylvain Conchon, Alain Mebsout, Mohamed Iguernelala, 2013, 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo

Sylvain Conchon, Alain Mebsout, Mohamed Iguernelala, 2017, UITP.

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation

Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, 2011, Log. Methods Comput. Sci..

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

François Bobot, Guillaume Melquiond, Sylvain Conchon, 2012, IJCAR.