A Minimal-state Processing Search Alogorithm for satisfiability problems

Proc. IEEE International Conference on System, Man, and Cybernetics

横平徳美