( en | de | ru )

 

Disambiguation of "de Moura, Leonardo Mendonça"

Author of the publication

copydeleteadd this publication to your clipboard
The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk).

, , , , and . Haifa Verification Conference, volume 6504 of Lecture Notes in Computer Science, page 3. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marcílio Mendonça

Jeronimo Mendonça

Pedro ˜deœ Almeida Moura

Nelson Mendonça Mattos

Wilson Pessoa-Mendonça

 

Other publications of authors with the same name

SMT-COMP: Satisfiability Modulo Theories Competition., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 20-23. Springer, (2005)Orchestrating Satisfiability Engines.. CP, volume 6876 of Lecture Notes in Computer Science, page 1. Springer, (2011)Introdução ao Ambiente Visual Spider., and . SBES, page 3-13. SBC, (1997)Applications and Challenges in Satisfiability Modulo Theories., and . WING@ETAPS/IJCAR, volume 1 of EPiC Series in Computing, page 1-11. EasyChair, (2010)Cutting to the Chase Solving Linear Integer Arithmetic., and . CADE, volume 6803 of Lecture Notes in Computer Science, page 338-353. Springer, (2011)Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development., and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 400-411. Springer, (2010)Engineering DPLL(T) + Saturation., and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 475-490. Springer, (2008)Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials., , , , and . SPIN, volume 7385 of Lecture Notes in Computer Science, page 1-6. Springer, (2012)Deciding Effectively Propositional Logic Using DPLL and Substitution Sets., and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 410-425. Springer, (2008)A Tutorial on Satisfiability Modulo Theories., , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 20-36. Springer, (2007)