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.