Leonardo de Moura

Available identifiers

zbMath Open de-moura.leonardoWikidataQ84844322 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Leonardo de Moura