Shrinking for SAT Solvers

This page provides source code and experimental data for our paper.

sat_shrinking_solvers.tar.xz

sat_shrinking_logs.tar.xz

A technical report is available:
[ report | bibtex ]