Guiding a theorem prover with soft constraints


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.



ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers