Research

Lastmod: 2020-12-31

Selected Research Projects

Selected Research Topics

  • Constraint solver, Constraint programming

  • SAT solver

  • Logic programming

    • Prolog compiler

    • Prolog machine

  • Theorem prover

  • Natural language processing

  • See also softwares

Co-Researchers, etc.