Allen Van Gelder

University of California , Santa Cruz , CA , USA.

1 paper in the IJCAI proceedings

IJCAI 2011

A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas

with Alexandra Goultiaeva, Fahiem Bacchus

doi:10.5591/978-1-57735-516-8/IJCAI11-099

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings