View of Better Decision Heuristics in CDCL through Local Search and Target Phases

Return to Article Details Better Decision Heuristics in CDCL through Local Search and Target Phases Download Download PDF