GitHub

Python SAT Solver (DPLL + CDCL + VSIDS) – A from-scratch implementation of modern SAT solving algorithms with clause learning, non-chronological backtracking, heuristics, and ...

This project is my independent research into SAT solvers written entirely in Python, designed to explore the theory and practice of propositional satisfiability. It begins with a baseline DPLL ...
LinkedIn

Testing LLMs with DPLL and Sudoku

For fun, I recently tried "vibe coding" an implementation of DPLL using different LLMs. Each one produced a seemingly correct implementation of DPLL, which seemed to pass some of the basic tests, ...
LinkedIn

DPLL Algorithm: A Key to Efficient SAT Solving

Mastering the DPLL Algorithm: A Cornerstone of SAT Solvers In the realm of artificial intelligence and computational logic, the DPLL (Davis-Putnam-Logemann-Loveland) algorithm stands as a pivotal ...
GitHub

SAT Solver Implementation with DPLL, CDCL, and VSIDS Heuristics

This project implements a SAT solver using the DPLL algorithm with Conflict-Driven Clause Learning (CDCL) and Variable State Independent Decaying Sum (VSIDS) heuristics in C++. It is designed to read ...