# Better Decision Heuristics in CDCL through Local Search and Target Phases

> Research article (Journal of Artificial Intelligence Research, 2022) · cited 18× · AI/ML

**Wikidata**: [openalex:W4295705322](https://www.wikidata.org/wiki/openalex:W4295705322)  
**Source**: https://4ort.xyz/entity/better-decision-heuristics-in-cdcl-through-local-search-and-target-phases