# Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning

> Research article (Journal of Automated Reasoning, 2017) · cited 16× · AI/ML

**Wikidata**: [openalex:W2952307256](https://www.wikidata.org/wiki/openalex:W2952307256)  
**Source**: https://4ort.xyz/entity/conflict-resolution-a-first-order-resolution-calculus-with-decision-literals-and-conflict-driven-clause-learning