Key points are not available for this paper at this time.
Satisfiability solvers can now be effectively deployed in practical applications.
Malik et al. (Tue,) studied this question.