@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} }
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas
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 |