Analysis and extension of the Inc* on the satisfiability testing problem