SC2

Satisfiability Checking and Symbolic Computation

Bridging Two Communities to Solve Real Problems