Leonardo de Moura

Available identifiers

zbMath Open de-moura.leonardoDBLPd/LeonardoMdeMouraWikidataQ84844322 ScholiaQ84844322MaRDI QIDQ438532

List of research outcomes

Publication	Date of Publication	Type
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5094129	2022-08-02	Paper
The Lean 4 theorem prover and programming language	2021-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q5219923	2020-03-09	Paper
Congruence Closure in Intensional Type Theory	2016-09-05	Paper
The Lean Theorem Prover (System Description)	2015-12-02	Paper
Cutting to the chase.	2015-06-23	Paper
A Model-Constructing Satisfiability Calculus	2014-11-03	Paper
Efficiently solving quantified bit-vector formulas	2014-03-28	Paper
Model-based Theory Combination	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2848059	2013-09-25	Paper
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals	2013-06-14	Paper
The Strategy Challenge in SMT Solving	2013-04-16	Paper
Real Algebraic Strategies for MetiTarski Proofs	2012-09-07	Paper
Solving Non-linear Arithmetic	2012-09-05	Paper
On deciding satisfiability by theorem proving with speculative inferences	2012-07-31	Paper
Cutting to the Chase Solving Linear Integer Arithmetic	2011-07-29	Paper
Symbolic Automata Constraint Solving	2010-10-12	Paper
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development	2010-09-14	Paper
Deciding effectively propositional logic using DPLL and substitution sets	2010-05-26	Paper
Computer Aided Verification	2010-04-20	Paper
Satisfiability Modulo Theories: An Appetizer	2009-12-09	Paper
On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving	2009-07-28	Paper
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories	2009-06-30	Paper
Efficient E-Matching for SMT Solvers	2009-03-06	Paper
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets	2008-11-27	Paper
Engineering DPLL(T) + Saturation	2008-11-27	Paper
A Tutorial on Satisfiability Modulo Theories	2007-11-29	Paper
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)	2007-11-28	Paper
Automated Reasoning	2007-09-25	Paper
Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)	2007-01-30	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4809077	2004-08-12	Paper

Research outcomes over time

This page was built for person: Leonardo de Moura