Nobuo Funabiki, Tokumi Yokohira, Tom Nakanishi, Shigeto Tajima, Teruo Higashino. A minimal-state processing search algorithm for satisfiability problems. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace", Tucson, Arizona, USA, 7-10 October 2001. pages 2769-2774, IEEE, 2001. [doi]
Abstract is missing.