Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution

16 January 2014

Papers citing "Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution"

2 / 2 papers shown

Title
Local Consistency and SAT-Solvers J. Petke P. Jeavons 50 27 0 18 Jan 2014
Towards Understanding and Harnessing the Potential of Clause Learning P. Beame Henry A. Kautz Ashish Sabharwal 46 334 0 30 Jun 2011