Approximate satisfiability and equivalence (2006)

by E Fischer, F Magniez, M de Rougemont
Venue:In IEEE Logic in Computer Science