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
2006ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified