# An Effective SAT Solver Utilizing ACO Based on Heterogenous Systems

> Research article (IEEE Access, 2020) · cited 10× · AI/ML

**Wikidata**: [openalex:W3033850426](https://www.wikidata.org/wiki/openalex:W3033850426)  
**Source**: https://4ort.xyz/entity/an-effective-sat-solver-utilizing-aco-based-on-heterogenous-systems