Skip to content

dave fernig

  • home
  • about
  • archive

Tag: logic

solving SAT in python

SAT is hard, but there are algorithms that tend to do okay empirically. I recently learned about the Davis-Putnam-Logemann-Loveland (DPLL) procedure and rolled up a short Python implementation. continue reading

Author Dave FernigPosted on May 7, 2018January 13, 2020Tags logic, python
  • home
  • about
  • archive
dave fernig