Eldar Fischer, Frédéric Magniez, Michel de Rougemont. Approximate Satisfiability and Equivalence. SIAM Journal on Computing, 39(6):2251-2281, 2010. [doi]
@article{FischerMR10,
title = {Approximate Satisfiability and Equivalence},
author = {Eldar Fischer and Frédéric Magniez and Michel de Rougemont},
year = {2010},
doi = {10.1137/070703776},
url = {http://dx.doi.org/10.1137/070703776},
researchr = {https://researchr.org/publication/FischerMR10},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {39},
number = {6},
pages = {2251-2281},
}