DMCA

Clause-learning algorithms with many restarts and bounded-width resolution (2009)

by Albert Atserias , Johannes Klaus Fichte , Marc Thurley
Citations:34 - 3 self