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
Papers by Allen Van Gelder ProofChecker documentation and code purse-poster.pdf SAT 2005 and 2007 Competition Scoring Rules purse-poster.ps       and some 2005 results

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/