@techreport{GladischFOVEOOS10,
author = {Christoph Gladisch},
title = {Satisfiability Solving and Model Generation for Quantified First-order Logic Formulas},
booktitle = {Papers Presented at the International Conference on Formal Verification of
Object-Oriented Software},
year = {2010},
month = jun,
institution = {Fakult{\"a}t f{\"u}r Informatik, Institut f{\"u}r Theoretische Informatik, ITI},
address = {Paris, France}
}
Satisfiability Solving and Model Generation for Quantified First-order Logic Formulas
| Author(s): | Christoph Gladisch |
|---|---|
| Booktitle: | Papers Presented at the International Conference on Formal Verification of Object-Oriented Software |
| Institution: | Fakultät für Informatik, Institut für Theoretische Informatik, ITI |
| Year: | 2010 |