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

Field of Research

  • Mathematical Sciences Not Elsewhere Classified

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers