Leonardo De Moura
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Affiliations | Microsoft Corporation |
| Citations | 19,100 |
| H index | 44 |
| Education | Pontifical Catholic University of Rio de Janeiro |
| Interests | Automated Reasoning |
| Theorem Proving | |
| Constraint Solving | |
| SAT | |
| SMT | |
| Co authors | Nikolaj S. Bjørner |
| Natarajan Shankar | |
| Clark Barrett | |
| John Rushby | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3813453 |
