A minimal-state processing search algorithm for satisfiability problems.

Nobuo Funabiki, Tokumi Yokohira, Tom Nakanishi, Shigeto Tajima, Teruo Higashino

Browse the full SMC paper archive.