5454 Project (Spring 2019 ): Algorithms for Solving SAT Problems: Conflict-Driven Clause Learning

nice

Thanks Andrew, besides some minor errors on the slide, and the style of just reading out the slides, the examples and explanations helped to understand CDCL. But I have to tell that I used this material as cross learning, thus I used it besides other materials :-) Thanks anyway, was helpful.