Approximate Satisfiability and Equivalence

Eldar Fischer, Frédéric Magniez, Michel de Rougemont. Approximate Satisfiability and Equivalence. SIAM Journal on Computing, 39(6):2251-2281, 2010. [doi]

Abstract

Abstract is missing.