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

Reviewed Paper In Proceedings

Author(s):Christoph Gladisch
In:International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Revised Selected Papers
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:6528
Year:2010
Pages: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 = {International Conference on Formal Verification of Object-Oriented
               Software (FoVeOOS 2010), Revised Selected Papers},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6528}
}