Guiding a theorem prover with soft constraints
Citation
Slaney, J, Binas, A & Price, D 2004, 'Guiding a theorem prover with soft constraints', European Conference on Artificial Intelligence (ECAI 2004), ed. Ramon Lopez de Mantaras, Lorenza Saitta, IOS Press, The Netherlands, pp. 221-225.Year
2004ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified