Van Gelder, Allen

2 publications

IJCAI 2011 A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus

AAAI 2008 Clause Learning Can Effectively P-Simulate General Propositional Resolution Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder