ML Anthology

Thurley, Marc

1 publications

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