Partial Witnesses from Preprocessed Quantified Boolean Formulas

Martina Seidl, Robert Könighofer

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

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

Cite this