JournalsprimsVol. 25, No. 1pp. 79–103

On an Unsatisfiability-satisfiability Prover

  • Chiharu Hosono

    University of Tsukuba, Ibaraki, Japan
On an Unsatisfiability-satisfiability Prover cover
Download PDF

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