Conflict-driven Clause Learning Solvers Research Articles