Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness

Citation

Anbulagan, A & Slaney, J 2009, 'Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness', IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2009), ed. Sotirios G. Ziavras, IEEE Computer Society, Newark, USA, pp. 99-106.

Year

2009

ANU Authors

Fields of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified
  • Mathematical Logic, Set Theory, Lattices And Universal Algebra

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