Approximate satisfiability and equivalence (bibtex)

by E. Fischer, F. Magniez and M. de Rougemont

Reference:

Approximate satisfiability and equivalence (E. Fischer, F. Magniez and M. de Rougemont), In Proceedings of 21st IEEE Symposium on Logic in Computer Science, 2006.

Bibtex Entry:

@inproceedings{fmr06,
	author = {E. Fischer and F. Magniez and M. de Rougemont},
	booktitle = {Proceedings of 21st IEEE Symposium on Logic in Computer Science},
	pages = {421-430},
	pdf = {./PAPIERS/fmr-lics06.pdf},
	title = {Approximate satisfiability and equivalence},
	year = {2006},
	bdsk-url-1 = {./PAPIERS/fmr-lics06.pdf}}