SAT-Solver-DPLL icon indicating copy to clipboard operation
SAT-Solver-DPLL copied to clipboard

verified publisher icon sukrutrao
→

Metadata

A simple SAT solver that implements the DPLL algorithm with unit resolution

Results 1 SAT-Solver-DPLL issues
Sort by recently updated
recently updated
newest added

Question 🙋

What is time complexity of the code.

Sourav-Malani avatar Sourav-Malani

← Metadata

43
Stars
22
Forks
Watchers

Owner

verified publisher icon sukrutrao

Metadata

A simple SAT solver that implements the DPLL algorithm with unit resolution

Back