Analysis and extension of the Inc* on the satisfiability testing problem | IEEE Conference Publication | IEEE Xplore