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.

College of Systems Engineering and Science Department of Electronic Information Systems / Graduate School of Engineering and Science(Master's Program) Systems Engineering and Science / Graduate School of Engineering and Science(Doctor's Program) Functional Control Systems Course
Faculty Name
SUZUKI, Tetsuya
Keyword
Software,Programing,Search algorithms,Algorithms
Laboratory location
No.5 Building OMIYA Campus 2F 5224-1

This lab is for this SDG activity:

  • 産業と技術革新の基盤をつくろう

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

  • Applications of constraint programming to help reprint ancient documents
  • Application of constraint programming to search for the location where a certain landscape photo was taken
  • Development of algorithms for game thinking

LINKS

FIND LABORATORIES RELATED TO YOUR RESEARCH FIELD