vsids

Experimental code and results for the paper titled "Understanding VSIDS Branching Heuristic in CDCL SAT Solvers"

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
countbridgemvsids		countbridgemvsids
cvsids		cvsids
minisat-performance		minisat-performance
minisat		minisat
mvsids		mvsids
spatial_mvsids		spatial_mvsids
tkc		tkc
.gitignore		.gitignore
Applicationsimptbdeccvsids.zip		Applicationsimptbdeccvsids.zip
Applicationsimptbdecmvsids.zip		Applicationsimptbdecmvsids.zip
Combinatorialsimptbdeccvsids.zip		Combinatorialsimptbdeccvsids.zip
Combinatorialsimptbdecmvsids.zip		Combinatorialsimptbdecmvsids.zip
README.md		README.md
Randomsimptbdeccvsids.zip		Randomsimptbdeccvsids.zip
Randomsimptbdecmvsids.z01		Randomsimptbdecmvsids.z01
Randomsimptbdecmvsids.zip		Randomsimptbdecmvsids.zip
countbridgemvsids.zip		countbridgemvsids.zip
dvsidsfinaltimeout30000.zip		dvsidsfinaltimeout30000.zip
louvain.py		louvain.py
mvsidsfinaltimeout30000.zip		mvsidsfinaltimeout30000.zip

Navigation Menu