Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

Citation

Itegulov, D, Slaney, J & Woltzenlogel Paleo, B 2017, 'Scavenger 0.1: A Theorem Prover Based on Conflict Resolution', 26th International Conference on Automated Deduction, CADE-26 2017, ed. Leonardo de Moura, Springer International Publishing AG, Switzerland, pp. 345-356pp.

Year

2017

ANU Authors

Field of Research

  • Automation And Control Engineering

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