An Improved ID3 classification algorithm for solving the backbone of proposition formulae | IEEE Conference Publication | IEEE Xplore