ON EQUIVALENCY REASONING FOR CONFLICT DRIVEN
CLAUSE LEARNING SATISFIABILITY SOLVERS