structure - PattuX/SAT-PTN-slides GitHub Wiki

structure of the presentation:

1. introduction of the problem (small example)
2. history of the problem
3. the framework which solves the problem
4. demonstrate encoding of the problem (with example)
5. mention transformations (show them with the example)
6. describe cube-and-conquer solving
7. validation of each step (describe how much time and space was needed to solve the problem)