Strong conflict analysis for propositional satisfiability. - Jin, HoonSang; Somenzi, Fabio (2006)