Search Results for author:
Found 1 papers, 0 papers with code
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
