Miroslav N. Velev
Encoding Global Unobservability for Efficient Translation to SAT
SAT, 2004.
@inproceedings{SAT-2004-Velev,
author = "Miroslav N. Velev",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/81.pdf",
pages = "197--204",
title = "{Encoding Global Unobservability for Efficient Translation to SAT}",
year = 2004,
}