[Back]


Talks and Poster Presentations (without Proceedings-Entry):
U. Egly:
"A new learning scheme for QDPLL solvers";
Talk: Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering, Dagstuhl, Deutschland (invited); 2012-11-11 - 2012-11-16.

Keywords:
QBF, Solver, QDPLL

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

Created from the Publication Database of the Vienna University of Technology.