Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints
SAT, 2004.
@inproceedings{SAT-2004-ArmandoCGM,
author = "Alessandro Armando and Claudio Castellini and Enrico Giunchiglia and Marco Maratea",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/71.pdf",
pages = "166--173",
title = "{A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints}",
year = 2004,
}