Eldar Fischer, Frédéric Magniez, Michel de Rougemont
Approximate Satisfiability and Equivalence
LICS, 2006.
@inproceedings{LICS-2006-FischerMR, author = "Eldar Fischer and Frédéric Magniez and Michel de Rougemont", booktitle = "{Proceedings of the 21th IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2006.12", isbn = "0-7695-2631-4", pages = "421--430", publisher = "{IEEE Computer Society}", title = "{Approximate Satisfiability and Equivalence}", year = 2006, }