Partial Witnesses from Preprocessed Quantified Boolean Formulas

Martina Seidl; Robert Könighofer

doi:10.7873/DATE.2014.162

Partial Witnesses from Preprocessed Quantified Boolean Formulas

Martina Seidl, Robert Könighofer

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Design, Automation and Test in Europe (DATE'14)
Publisher	Institute of Electrical and Electronics Engineers
Pages	1-6
ISBN (Print)	978-3-9815370-2-4
DOIs	https://doi.org/10.7873/DATE.2014.162
Publication status	Published - 2014
Event	Design, Automation and Test in Europe - Munich, Germany Duration: 6 Mar 2006 → 10 Mar 2006

Conference

Conference	Design, Automation and Test in Europe
Country/Territory	Germany
City	Munich
Period	6/03/06 → 10/03/06

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Access to Document

10.7873/DATE.2014.162

seidl-date14.pdfFinal published version, 612 KB

Cite this

@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",

note = "Design, Automation and Test in Europe ; Conference date: 06-03-2006 Through 10-03-2006",

}

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 paper

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

T2 - Design, Automation and Test in Europe

Y2 - 6 March 2006 through 10 March 2006

ER -

Partial Witnesses from Preprocessed Quantified Boolean Formulas

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this

Partial Witnesses from Preprocessed Quantified Boolean Formulas

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this