The model evolution calculus as a first-order DPLL method

Citation

Baumgartner, P & Tinelli, C 2008, 'The model evolution calculus as a first-order DPLL method', Artificial Intelligence, vol. 172, no. 4-5, pp. 591-632.

Year

2008

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

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