"Nobuo;Funabiki|Tokumi;Yokohira|Toru;Nakanishi|Shigeto;Tajima|Teruo;Higashino|","A minimal-state processing search algorithm for satisfiability problems","Systems","","2001-10","4","","2769","2774","","","","http://ousar.lib.okayama-u.ac.jp/30094","10.1109/ICSMC.2001.972986"