Principles of Satisfiability Solvers

Japanese slides on CDCL SAT solvers, for the talk in Tsukuba Computer Mathematics Seminar 2024.

Name		Name	Last commit message	Last commit date
.vscode		.vscode
.gitignore		.gitignore
README.md		README.md
algorithms.satyh		algorithms.satyh
cdcl-sat-solvers-2025-body.satyh		cdcl-sat-solvers-2025-body.satyh
cdcl-sat-solvers-2025-handout.pdf		cdcl-sat-solvers-2025-handout.pdf
cdcl-sat-solvers-2025-handout.saty		cdcl-sat-solvers-2025-handout.saty
cdcl-sat-solvers-2025-slide.pdf		cdcl-sat-solvers-2025-slide.pdf
cdcl-sat-solvers-2025-slide.saty		cdcl-sat-solvers-2025-slide.saty
cdcl-sat-solvers-2025.pdf		cdcl-sat-solvers-2025.pdf
cdcl-sat-solvers-2025.saty		cdcl-sat-solvers-2025.saty
cdcl-sat-solvers.pdf		cdcl-sat-solvers.pdf
cdcl-sat-solvers.saty		cdcl-sat-solvers.saty
colors.satyh		colors.satyh
diagrams.satyh		diagrams.satyh
dlist.satyg		dlist.satyg
dpll-machine.satyh		dpll-machine.satyh
math-deco.satyh		math-deco.satyh
mymath.satyh		mymath.satyh
presets.satyh		presets.satyh
references.satyh		references.satyh
theorems.satyh		theorems.satyh
tikzyfi.satyh		tikzyfi.satyh
utils.satyg		utils.satyg

Navigation Menu