Blocking and other enhancements for bottom-up model generation methods

Citation

Baumgartner, P & Schmidt, R 2006, 'Blocking and other enhancements for bottom-up model generation methods', International Joint Conference on Automated Reasoning (IJCAR 2006), ed. W. Ahrendt, P. Baumgartner, H. de Nivelle, Conference Organising Committee, Seattle, WA USA, pp. 125-139.

Year

2006

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

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