Computing finite models by reduction to function-free clause logic

Citation

Baumgartner, P, Fuchs, A, de Nivelle, H et al 2006, 'Computing finite models by reduction to function-free clause logic', International Joint Conference on Automated Reasoning (IJCAR 2006), ed. W. Ahrendt, P. Baumgartner, H. de Nivelle, Conference Organising Committee, Seattle, WA USA, pp. 82-95.

Year

2006

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  18 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers