SAT-Solving by Armin Biere on YouTube

[shnarazk]

https://simons.berkeley.edu/talks/sat-solving

• https://github.com/arminbiere/satch
  • git clone [email protected]:arminbiere/satch

timeline of https://www.youtube.com/watch?v=II2RhzwYszQ

• starting with encodings
• 0:45:00 DPLL https://youtu.be/II2RhzwYszQ?t=2682
• 1:00:00 Mnemonics https://youtu.be/II2RhzwYszQ?t=3594
  • i: found a unit clause
  • 0: found the empty clause