"Satisfiability Certificates Verifiable in Subexponential Time."

Evgeny Dantsin, Edward A. Hirsch (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics