Partial Witnesses from Preprocessed Quantified Boolean Formulas

Martina Seidl, Robert Könighofer

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

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

Dies zitieren

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

Partial Witnesses from Preprocessed Quantified Boolean Formulas. / Seidl, Martina; Könighofer, Robert.

Design, Automation and Test in Europe (DATE'14). Institute of Electrical and Electronics Engineers, 2014. S. 1-6.

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

Seidl, M & Könighofer, R 2014, Partial Witnesses from Preprocessed Quantified Boolean Formulas. in Design, Automation and Test in Europe (DATE'14). Institute of Electrical and Electronics Engineers, S. 1-6, Munich, Deutschland, 6/03/06. https://doi.org/10.7873/DATE.2014.162
Seidl M, Könighofer R. Partial Witnesses from Preprocessed Quantified Boolean Formulas. in Design, Automation and Test in Europe (DATE'14). Institute of Electrical and Electronics Engineers. 2014. S. 1-6 https://doi.org/10.7873/DATE.2014.162
Seidl, Martina ; Könighofer, Robert. / Partial Witnesses from Preprocessed Quantified Boolean Formulas. Design, Automation and Test in Europe (DATE'14). Institute of Electrical and Electronics Engineers, 2014. S. 1-6
@inproceedings{81f82c2d800d41e1ba6319402ce52919,
title = "Partial Witnesses from Preprocessed Quantified Boolean Formulas",
author = "Martina Seidl and Robert K{\"o}nighofer",
year = "2014",
doi = "10.7873/DATE.2014.162",
language = "English",
isbn = "978-3-9815370-2-4",
pages = "1--6",
booktitle = "Design, Automation and Test in Europe (DATE'14)",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

TY - GEN

T1 - Partial Witnesses from Preprocessed Quantified Boolean Formulas

AU - Seidl, Martina

AU - Könighofer, Robert

PY - 2014

Y1 - 2014

UR - http://www.date-conference.com/

UR - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6800363

U2 - 10.7873/DATE.2014.162

DO - 10.7873/DATE.2014.162

M3 - Conference contribution

SN - 978-3-9815370-2-4

SP - 1

EP - 6

BT - Design, Automation and Test in Europe (DATE'14)

PB - Institute of Electrical and Electronics Engineers

ER -