Erratum to: Conflict Resolu... - Researchers

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

Citation

Slaney, J & Woltzenlogel Paleo, B 2017, 'Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning', Journal of Automated Reasoning, vol. 60, no. 2, p. 24.

Year

2017

ANU Authors

Emeritus Professor John Slaney

Field of Research

Mathematical Sciences Not Elsewhere Classified

Updated: 20 April 2024 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers