This project is archived. Its data is read-only. This project is read-only.

bachelor-thesis Archived

Project information

Thesis titled "Analysis of the structure of k-SAT formulas and of some resolution algorithms". Bachelor's degree in Computer Science, University of Milan-Bicocca.

cdcl DPLL SAT disjoint-set algorithms

3 Commits
1 Branch
0 Tags

README
Creative Commons Attribution 4.0 International

Created on

February 02, 2026

Loading