Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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

Technischer Bericht

Autor(en):Christoph Gladisch
Buchtitel: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
Jahr:2010

BibTeX

@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}
}