Paleo, Bruno Woltzenlogel
- Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning
2016/02/15 by Slaney, John, Paleo, Bruno Woltzenlogel · 1 citation
#F.4.1 #FOS: Computer and information sciences #I.2.3 #Logic in Computer Science (cs.LO)