ML Anthology

Atserias, Albert

1 publications

JAIR 2011 Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution Albert Atserias, Johannes Klaus Fichte, Marc Thurley