On an Unsatisfiability-satisfiability Prover
Chiharu Hosono
University of Tsukuba, Ibaraki, Japan
Cite this article
Chiharu Hosono, On an Unsatisfiability-satisfiability Prover. Publ. Res. Inst. Math. Sci. 25 (1989), no. 1, pp. 79–103
DOI 10.2977/PRIMS/1195173764