Reports and publications


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

    Sylvain Conchon, Guillaume Melquiond, Cody Roux and Mohamed Iguernelala.
    SMT Workshop 2012. Manchester, UK.

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

    François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, and Guillaume Melquiond.
    In Bernhard Gramlich, Dale Miller, and Ulrike Sattler, editors, IJCAR 2012: Proceedings of the 6th International Joint Conference on Automated Reasoning, Lecture Notes in Computer Science, Manchester, UK, June 2012. Springer Verlag.
    [ paper ]

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

    Sylvain Conchon, Evelyne Contejean, and Mohamed Iguernelala.
    Special issue of the LMCS journal: Selected Papers of the Confrence "Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2011".
    [ paper ]

  4. Canonized Rewriting and Ground AC Completion Modulo Shostak Theories

    Sylvain Conchon, Evelyne Contejean, and Mohamed Iguernelala.
    In Parosh A. Abdulla and K. Rustan M. Leino, editors, TACAS 2011: Proceedings of the 17h Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Saarbrucken, Germany, March 2011. Springer Verlag.
    [ Best theoretical paper at ETAPS 2011   |   paper ]

  5. Canonized Rewriting and Ground AC Completion Modulo Shostak Theories

    Sylvain Conchon, Evelyne Contejean, and Mohamed Iguernelala.
    Research Report 1538, LRI, Paris-Sud University, December 2010.
    [ paper ]

  6. Ground Associative and Commutative Completion Modulo Shostak Theories

    Sylvain Conchon, Evelyne Contejean, and Mohamed Iguernelala.
    In Logic for Programming, Articifial Intelligence and Reasoning (LPAR 17), Yogyakarta, Indonesia, 2010. Easychair Volume. Short paper.
    [ paper ]

PS: Mohamed Iguernelala is NOT on Facebook, or Twitter, or LinkedIn, or Viadeo, or Tagged, . . . or any "social / professional network"