Almost Optimal Canonical Property Testers for Satisfiability.

Christian Sohler

Browse the full FOCS paper archive.