# Improving performance of CDCL SAT solvers by automated design of variable selection heuristics

> Research article (2017 IEEE Symposium Series on Computational Intelligence (SSCI), 2017) · cited 12× · AI/ML

**Wikidata**: [openalex:W2787628741](https://www.wikidata.org/wiki/openalex:W2787628741)  
**Source**: https://4ort.xyz/entity/improving-performance-of-cdcl-sat-solvers-by-automated-design-of-variable-selection-heuristics