M
Matthew H. Moskewicz
Researcher at University of California, Berkeley
Publications - 1
Citations - 848
Matthew H. Moskewicz is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Backtracking & Conflict-Driven Clause Learning. The author has an hindex of 1, co-authored 1 publications receiving 829 citations.
Papers
More filters
Proceedings ArticleDOI
Efficient conflict driven learning in a boolean satisfiability solver
TL;DR: This paper generalizes various conflict driven learning strategies in terms of different partitioning schemes of the implication graph to re-examine the learning techniques used in various SAT solvers and propose an array of new learning schemes.