Skip to content
  • home
  • about
  • archive

Tag Archives: 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

Posted byDave FernigMay 7, 2018January 13, 2020Posted inUncategorizedTags: logic, python
  • Follow Following
    • davefernig.com
    • Already have a WordPress.com account? Log in now.
    • davefernig.com
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar