A method of finding constraints by conjecture. - Hidehiro Shimizu; Ikuo Tahara (Syst. Comput. Jpn., 1994)

Methods of searching lattice structure and their applications to constraint satisfaction problems. - Hidehiro Shimizu; Ikuo Tahara (Syst. Comput. Jpn., 1994)