BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
2 × United Kingdom
Collaborated with:
S.Conchon G.Melquiond E.Contejean C.Roux K.Ji C.Fumex F.Bobot A.Mahboubi A.Mebsout
Talks about:
theori (2) point (2) float (2) smt (2) treatment (1) strategi (1) arithmet (1) simplex (1) shostak (1) motzkin (1)

Person: Mohamed Iguernelala

DBLP DBLP: Iguernelala:Mohamed

Contributed to:

IJCAR 20122012
SMT 20122012
TACAS 20112011
CAV (2) 20172017

Wrote 4 papers:

IJCAR-2012-BobotCCIMMM #integer #linear
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (FB, SC, EC, MI, AM, AM, GM), pp. 67–81.
SMT-2012-ConchonMRI #axiom #float #smt
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers (SC, GM, CR, MI), pp. 12–21.
TACAS-2011-ConchonCI #modulo theories
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (SC, EC, MI), pp. 45–59.
CAV-2017-ConchonIJMF #float #reasoning #smt
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT (SC, MI, KJ, GM, CF), pp. 419–435.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.