CDCL

Slides and source code about "Conflict-driven clause learning"

Name	Name	Last commit message	Last commit date
Latest commit roman-dowakin add readme Mar 16, 2019 10d54aa · Mar 16, 2019 History 7 Commits
data	data	before workshop state	Mar 4, 2019
.gitignore	.gitignore	before workshop state	Mar 4, 2019
LICENSE	LICENSE	add license	Mar 4, 2019
README.md	README.md	add readme	Mar 16, 2019
cdcl.py	cdcl.py	add implementation of unit_resolution	Mar 15, 2019
slides.pdf	slides.pdf	add slides	Mar 16, 2019
solve8queens.py	solve8queens.py	before workshop state	Mar 4, 2019
test_before.py	test_before.py	before workshop state	Mar 4, 2019
test_cdcl.py	test_cdcl.py	before workshop state	Mar 4, 2019
test_read_dimacs.py	test_read_dimacs.py	before workshop state	Mar 4, 2019
test_unit_resolution.py	test_unit_resolution.py	before workshop state	Mar 4, 2019
test_unit_resolution_once.py	test_unit_resolution_once.py	before workshop state	Mar 4, 2019
utils.py	utils.py	before workshop state	Mar 4, 2019

Provide feedback