Randal E. Bryant, Miroslav N. Velev. Boolean satisfiability with transitivity constraints. ACM Trans. Comput. Log., 3(4):604-627, 2002. [doi]
@article{BryantV02,
title = {Boolean satisfiability with transitivity constraints},
author = {Randal E. Bryant and Miroslav N. Velev},
year = {2002},
doi = {10.1145/566385.566390},
url = {http://doi.acm.org/10.1145/566385.566390},
tags = {constraints, e-science},
researchr = {https://researchr.org/publication/BryantV02},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Log.},
volume = {3},
number = {4},
pages = {604-627},
}