GitHub

A simple sat solver to demostrate DPLL algorithm.

Note: The original CMakeLists.txt is for development and tests. To use the code, only the target simplesat is needed. You can comment the lines in the CMakeLists.txt to remove the tests and the ...
GitHub

dpll-algorithm

Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
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, ...
IEEE

Tutorial: DPLL Based Clock and Data Recovery

Abstract: The purpose of this tutorial is to introduce attendees to Digital Phase-Locked Loop (DPLL) based Clock-and-Data Recovery (CDR). The talk will start with an overview of different types of ...
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 ...
IEEE

Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts

Abstract: Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solvers are based ...