Approximate Satisfiability and Equivalence.

Eldar Fischer, Frdric Magniez, Michel de Rougemont

Browse the full LICS paper archive.