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

2004

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  29 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers