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

Fields of Research

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

Updated:  18 June 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers