HoonSang Jin, Fabio Somenzi. Strong conflict analysis for propositional satisfiability. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 818-823, European Design and Automation Association, Leuven, Belgium, 2006. [doi]
@inproceedings{JinS06,
title = {Strong conflict analysis for propositional satisfiability},
author = {HoonSang Jin and Fabio Somenzi},
year = {2006},
doi = {10.1145/1131713},
url = {http://doi.acm.org/10.1145/1131713},
tags = {analysis},
researchr = {https://researchr.org/publication/JinS06},
cites = {0},
citedby = {0},
pages = {818-823},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006},
editor = {Georges G. E. Gielen},
publisher = {European Design and Automation Association, Leuven, Belgium},
isbn = {3-9810801-0-6},
}