André Sülflow, Robert Wille, Görschwin Fey, Rolf Drechsler. Evaluation of Cardinality Constraints on SMT-Based Debugging. In ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan. pages 298-303, IEEE Computer Society, 2009. [doi]
@inproceedings{SulflowWFD09,
title = {Evaluation of Cardinality Constraints on SMT-Based Debugging},
author = {André Sülflow and Robert Wille and Görschwin Fey and Rolf Drechsler},
year = {2009},
doi = {10.1109/ISMVL.2009.28},
url = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2009.28},
tags = {rule-based, constraints, debugging},
researchr = {https://researchr.org/publication/SulflowWFD09},
cites = {0},
citedby = {0},
pages = {298-303},
booktitle = {ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3607-1},
}