Local Consistency and SAT-Solvers

18 January 2014

Papers citing "Local Consistency and SAT-Solvers"

2 / 2 papers shown

Title
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution Albert Atserias Johannes Fichte M. Thurley LRM 70 149 0 16 Jan 2014
Towards Understanding and Harnessing the Potential of Clause Learning P. Beame Henry A. Kautz Ashish Sabharwal 48 334 0 30 Jun 2011