Picture for Marc Thurley

Marc Thurley

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

Add code
Jan 16, 2014
Figure 1 for Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
Figure 2 for Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
Viaarxiv icon