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 ...
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 ...
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.
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 ...