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

Technical Report

Author(s):Christoph Gladisch
Booktitle:Formal Verification of Object-Oriented Software, Papers Presented at the International Conference
Institution:Fakultät für Informatik, Institut für Theoretische Informatik, ITI
Year:2010

BibTeX

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