鈥淓fficient Solution of Satisfiability Problems in CAD Applications,鈥 1999.