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

Citation

Slaney, J & Woltzenlogel Paleo, B 2017, 'Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning', Journal of Automated Reasoning, pp. 24pp (online).

Year

2017

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

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