Stéphane Lescuyer

A Reflexive Formalization of a SAT Solver in Coq

Stéphane Lescuyer, S. Conchon, 2008 .

Software - The Alt-Ergo theorem prover

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

New Results - Automated Deduction

Sylvain Conchon, Jean-François Couchot, Malgorzata Biernacka, 2006 .

Implementing polymorphism in SMT solvers

Sylvain Conchon, Evelyne Contejean, François Bobot, 2008, SMT '08/BPR '08.

Correlating Structured Inputs and Outputs in Functional Specifications

Thomas Jensen, Stéphane Lescuyer, Oana Fabiana Andreescu, 2016, SEFM.

Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq. (Formalisation et developpement d'une tactique reflexive pour la demonstration automatique en coq)

Stéphane Lescuyer, Stéphane Lescuyer, 2011 .