Egly, Uwe

2 publications

JAIR 2007 Phase Transition for Random Quantified XOR-Formulas Nadia Creignou, Hervé Daudé, Uwe Egly

AAAI 2000 Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran