Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness | IEEE Conference Publication | IEEE Xplore