ML Anthology

Hertel, Philipp

1 publications

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