Partial Witnesses from Preprocessed Quantified Boolean Formulas

Martina Seidl, Robert Könighofer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationDesign, Automation and Test in Europe (DATE'14)
PublisherInstitute of Electrical and Electronics Engineers
Pages1-6
ISBN (Print)978-3-9815370-2-4
DOIs
Publication statusPublished - 2014
EventDesign, Automation and Test in Europe - Munich, Germany
Duration: 6 Mar 200610 Mar 2006

Conference

ConferenceDesign, Automation and Test in Europe
CountryGermany
CityMunich
Period6/03/0610/03/06

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Projects

RiSE - Rigorous Systems Engineering

Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.

1/03/1131/08/19

Project: Research project

Formal Methods for Design & Verification

Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.

1/02/0815/07/19

Project: Research area

Cite this

Seidl, M., & Könighofer, R. (2014). Partial Witnesses from Preprocessed Quantified Boolean Formulas. In Design, Automation and Test in Europe (DATE'14) (pp. 1-6). Institute of Electrical and Electronics Engineers. https://doi.org/10.7873/DATE.2014.162