Approximate satisfiability and equivalence (2006)

by E Fischer, F Magniez, M de Rougemont
Venue:In Proceedings of 21st IEEE Symposium on Logic in Computer Science