Slide 1 Carnegie Mellon University Boolean Satisfiability with Transitivity Constraints Boolean Satisfiability with Transitivity Constraints http://www.cs.cmu.edu/~bryant…