Backing Backtracking

Formalizing Chronological Backtracking for CDCL

This page provides source code and experimental data for a paper to be presented at SAT'19.

[ chrono.tar.xz | chrono-no-logs.tar.xz ]