Stéphane Lescuyer

Implementing polymorphism in SMT solvers

François Bobot, Sylvain Conchon, Évelyne Contejean et al. · 2008 · 38 citations

Computing, Computer Science, Formal Methods +16

CC(X): Semantic Combination of Congruence Closure with Solvable Theories

Sylvain Conchon, Évelyne Contejean, Johannes Kanig et al. · Electronic Notes in Theoretical Computer Science · 2008 · 32 citations · Full text

Computing, Computer Science, Algorithms +9

Software - The Alt-Ergo theorem prover

Sylvain Conchon, Évelyne Contejean, Stéphane Lescuyer et al. · 2010 · 29 citations

Computing, Computer Science, Formal Methods +1

Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq

Stéphane Lescuyer · HAL (Le Centre pour la Communication Scientifique Directe) · 2011 · 14 citations · Full text

Computing, Computer Science, Formal Methods +12

Lightweight integration of the Ergo theorem prover inside a proof assistant

Sylvain Conchon, Évelyne Contejean, Johannes Kanig et al. · 2007 · 11 citations

Computing, Computer Science, Formal Methods +14