“Efficient Solution of Satisfiability Problems in CAD Applications,” 1999.