Martina Seidl, Robert Könighofer,
"Partial witnesses from preprocessed quantified Boolean formulas"
: Design, Automation \& Test in Europe Conference \& Exhibition (DATE), IEEE, 2014
Original Titel:
Partial witnesses from preprocessed quantified Boolean formulas
Sprache des Titels:
Englisch
Original Buchtitel:
Design, Automation \& Test in Europe Conference \& Exhibition (DATE)
Veröffentlicher:
IEEE
Erscheinungsjahr:
2014
Anzahl der Seiten:
6
Notiz zur Publikation:
Vortrag: Design, Automation and Test in Europe Conference (DATE), Dresden; 2014-03-24 -- 2014-03-28