Approximate Satisfiability and Equivalence (2006)

by E Fischer, F Magniez, M de Rougemont
Venue:In LICS ’06: Proceedings of the 21nd Annual IEEE Symposium on Logic in Computer Science