A Resolution-Based Interactive Proof System for UNSAT.

Philipp Czerner, Javier Esparza, Valentin Krasotin

Browse the full FOSSACS paper archive.