Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christoph Gladisch
In:Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Revised Selected Papers
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:6528
Jahr:2010
Seiten:76-91
DOI:10.1007/978-3-642-18070-5_6

BibTeX

@inproceedings{Gladisch10foveoos,
  author    = {Christoph Gladisch},
  title     = {Satisfiability Solving and Model Generation for Quantified
               First-Order Logic Formulas},
  year      = {2010},
  pages     = {76-91},
  doi       = {10.1007/978-3-642-18070-5_6},
  editor    = {Bernhard Beckert and
               Claude March{\'e}},
  booktitle = {Formal Verification of Object-Oriented Software - International
               Conference, FoVeOOS 2010,
               Revised Selected Papers},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6528}
}