34
Publications
3.9K
Citations
24
H-Index
2002
Active since
Leonardo de Moura is an author at Microsoft (United States) specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationSoftware AnalysisProgram AnalysisComputer EngineeringSatisfiability
Publications per year
2002–2021
34
34
Clone detection using abstract syntax trees
Ira D. Baxter, A. Yahin, Leonardo de Moura et al. · 2002 · 1.3K citations
Satisfiability modulo theories
Leonardo de Moura, Nikolaj Bjørner · Communications of the ACM · 2011 · 615 citations
Bruno Dutertre, Leonardo de Moura · 2006 · 478 citations
Learning a SAT Solver from Single-Bit Supervision
Daniel Selsam, Matthew Lamm, Benedikt Bünz et al. · arXiv (Cornell University) · 2018 · 189 citations · Full text
Rows per page
1–5 of 34