A minimal-state processing search algorithm for satisfiability problems | IEEE Conference Publication | IEEE Xplore