( en | de | ru )

 

Disambiguierung von "de Moura, Leonardo Mendonça"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Z3: An Efficient SMT Solver.

, und . TACAS, Volume 4963 von Lecture Notes in Computer Science, Seite 337-340. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marcílio Mendonça

Jeronimo Mendonça

Pedro ˜deœ Almeida Moura

Nelson Mendonça Mattos

Wilson Pessoa-Mendonça

 

Weitere Publikationen von Autoren mit dem selben Namen

Engineering DPLL(T) + Saturation., und . IJCAR, Volume 5195 von Lecture Notes in Computer Science, Seite 475-490. Springer, (2008)Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development., und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 400-411. Springer, (2010)Introdução ao Ambiente Visual Spider., und . SBES, Seite 3-13. SBC, (1997)Cutting to the Chase Solving Linear Integer Arithmetic., und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 338-353. Springer, (2011)Applications and Challenges in Satisfiability Modulo Theories., und . WING@ETAPS/IJCAR, Volume 1 von EPiC Series in Computing, Seite 1-11. EasyChair, (2010)SMT-COMP: Satisfiability Modulo Theories Competition., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 20-23. Springer, (2005)Orchestrating Satisfiability Engines.. CP, Volume 6876 von Lecture Notes in Computer Science, Seite 1. Springer, (2011)Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials., , , , und . SPIN, Volume 7385 von Lecture Notes in Computer Science, Seite 1-6. Springer, (2012)Invited talk: Developing Efficient SMT Solvers.. ESARLT, Volume 257 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)Satisfiability Modulo Theories: An Appetizer., und . SBMF, Volume 5902 von Lecture Notes in Computer Science, Seite 23-36. Springer, (2009)