Tag: conflict generation
-
Understanding Implication Graphs
Implication graphs are a core functionality of modern conflict-driven SAT solvers. In this blog post I give some examples of how these graphs look and how they can be used in the 1-UIP conflict generation scheme.