On an Unsatisfiability-satisfiability Prover
Chiharu Hosono
University of Tsukuba, Ibaraki, Japan
![On an Unsatisfiability-satisfiability Prover cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-prims-volume-25-issue-1.png&w=3840&q=90)
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