Constraint Processing System Laboratory

Enabling computers to automatically solve complicated questions

The main research field of our laboratory is constraint programming, in which humans describe problems they want to solve as constraint satisfaction problems for the computer to solve automatically. Constraint satisfaction problems are concerned with variables and constraints (Relations between variables, for example, equations). Our laboratory is studying how to make formulas for setting up constraint satisfaction problems that express a variety of questions and how to solve them.
Faculty of Engineering
Electronic Information Systems
Faculty Name
Tetsuya Suzuki
Academic Society
Japan  Society for Software Science and Technology
Information Processing Society of Japan
Association for Computing Machinery
Software, Programing, Search algorithms, Algorithms

Study Fields

 Information engineering

For Society

Constraint programming is used in various areas, such as operations research, molecular biology, electrical engineering, numeric calculations, and natural language processing, etc.

Research Themes