Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness.

Anbulagan, John K. Slaney

Browse the full ICTAI paper archive.