Research

Selected Research Projects

CSPSAT3 (2016–2018)
- Research and Development of a New Constraint Programming System based on SAT
CSPSAT2 (2012–2014)
- Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
CSPSAT (2008–2011)
- Study of SAT-based constraint optimization problem solving and its parallel distributed processing
HECS (IPA MITOU Program, 2002–2003)
See also: Kakenhi DB
See also: https://cspsat.gitlab.io/

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.

Takehide Soh (Kobe University)
Mutsunori Banbara (Nagoya University)
Katsumi Inoue (National Institute of Informatics)
Hidetomo Nabeshima (Yamanashi University)
Daniel Le Berre (Centre de Recherche en Informatique de Lens)
Torsten Schaub (University of Potsdam)