A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea

Browse the full SAT paper archive.