Partial Witnesses from Preprocessed Quantified Boolean Formulas

Martina Seidl, Robert Könighofer

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelDesign, Automation and Test in Europe (DATE'14)
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten1-6
ISBN (Print)978-3-9815370-2-4
DOIs
PublikationsstatusVeröffentlicht - 2014
VeranstaltungDesign, Automation and Test in Europe - Munich, Deutschland
Dauer: 6 Mär 200610 Mär 2006

Konferenz

KonferenzDesign, Automation and Test in Europe
LandDeutschland
OrtMunich
Zeitraum6/03/0610/03/06

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren