University of California at Santa Cruz
|
||||
|
Faculty |
avg
@ cs.ucsc.edu |
ALLEN VAN GELDER
Professor of Computer Science Education: B.S., Mathematics, Massachusetts Institute of Technology Ph.D., Computer Science, Stanford University |
|
ProofChecker documentation and code
purse-poster.pdf
SAT 2005 and 2007 Competition Scoring Rules |
||
|
Various software and other files from the ftp server, you pick 'em:
ftp://ftp.cse.ucsc.edu/pub/avg/
2cl_simp, Satisfiability simplifier for DIMACS format CNF formulas:
ftp://ftp.cse.ucsc.edu/pub/avg/2cl_simpDir/
modoc, Satisfiability solver for DIMACS format CNF formulas:
ftp://ftp.cse.ucsc.edu/pub/avg/Modoc/
solvecolor, Graph coloring solver (exact) based on encoding into SAT:
ftp://ftp.cse.ucsc.edu/pub/avg/Encoder/
mkcnf, Random CNF formula generator for DIMACS format (92160 bytes):
ftp://ftp.cse.ucsc.edu/pub/avg/Mkcnf.tar
evroot, Program to find positive root of certain polynomials that
arise in the analysis of branching algorithms, especially SAT:
ftp://ftp.cse.ucsc.edu/pub/avg/Tau/
outerroot.c, C code to find outer root of a cubic polynomial
(15360 bytes):
ftp://ftp.cse.ucsc.edu/pub/avg/Eigen.tar
Scivi, Various scientific visualization software, mostly 1990s:
ftp://ftp.cse.ucsc.edu/pub/avg/Scivi/