Partial witnesses from preprocessed quantified Boolean formulas

M. Seidl, R. K├Ânighofer:
"Partial witnesses from preprocessed quantified Boolean formulas";
Vortrag: Design, Automation and Test in Europe Conference (DATE), Dresden; 24.03.2014 - 28.03.2014; in:"Design, Automation&Test in Europe Conference&Exhibition (DATE)", IEEE, (2014), S. 1 - 6.

[ Publication Database ]