2014
2015
2016
2017

The fourth meeting of the Prague computer science seminar

Roman Barták

The Life with Constraints

Constraint Programming (CP) is a technology for declarative modeling and solving of combinatorial optimization problems. Despite (wrong) belief in some research communities, CP is not equivalent to simple enumeration...

April 24, 2014

4:00pm

Auditorium E-107, FEL CTU
Karlovo nám. 13, Praha 2
Show on the map

Lecture annotation

Constraint Programming (CP) is a technology for declarative modeling and solving of combinatorial optimization problems. Despite (wrong) belief in some research communities, CP is not equivalent to simple enumeration. The real power behind CP is in the integration of search and inference realized via various consistency techniques. This integration gives CP a unique capability to exploit both user-defined heuristics as well as general powerful search-pruning techniques.

The presentation will introduce constraint satisfaction terminology and technology using a popular well-known puzzle. Then it will focus on so called global constraints that represent a “backdoor” for adding specific efficient solving techniques into general constraint solvers. The presented ideas will be motivated by real-life examples originated mainly from planning and scheduling problems.

Lecturer

Prof. RNDr. Roman Barták, Ph.D.

Roman Barták works as a full professor at Charles University in Prague, Faculty of Mathematics and Physics, where he leads the Constraint Satisfaction and Optimisation Research Group.

In 1999-2004 he led research activities of a multinational company Visopt BV, where he was the main architect of the scheduling engine developed by this company. His work focuses on techniques of constraint satisfaction and their application to planning, scheduling, and other areas. Since 1998 he has been teaching a course on Constraint Programming at Charles University, he gave several tutorials on constraint processing at international conferences (IJCAI, AAAI, ICAPS, CI, SAC) and summer schools (ESSLLI, NASSLLI) and he is an author of the On-line Guide to Constraint Programming (#2 source for Constraint Programming according to Google) and On-line Guide to Prolog Programming (#2 source for Prolog Programming according to Google).

ABOUT THE PRAGUE COMPUTER SCIENCE SEMINAR

The seminar takes place on the 4th Thursday of each month at 4:00pm (except June, July, August and December) alternately in the buildings of Faculty of Electrical Engineering, Czech Technical University, Karlovo nám. 13, Praha 2 and Faculty of Mathematics and Physics, Charles University, Malostranské nám. 25, Praha 1.

Its program consists of a one-hour lecture followed by a discussion. The lecture is based on an (internationally) exceptional or remarkable achievement of the lecturer, presented in a way which is comprehensible and interesting to a broad computer science community. The lectures is in English.

The seminar is organized by the organizational committee consisting of Roman Barták (Charles University, Faculty of Mathematics and Physics), Michal Chytil (Czech Academy of Sciences, Computer Science Institute), Pavel Kordík (Czech Tech. Univ., Faculty of Information Technologies), Jan Kybic (Czech Tech. Univ., Faculty of Electrical Engineering), Michal Pěchouček (Czech Tech. Univ., Faculty of Electrical Engineering), Jiří Sgall (Charles University, Faculty of Mathematics and Physics), Vojtěch Svátek (University of Economics, Faculty of Informatics and Statistics), Michal Šorel (Czech Academy of Sciences, Institute of Information Theory and Automation), Tomáš Werner (Czech Tech. Univ., Faculty of Electrical Engineering), and Filip Železný (Czech Tech. Univ., Faculty of Electrical Engineering)

The idea to organize this seminar emerged in discussions of the representatives of several research institutes on how to avoid the undesired fragmentation of the Czech computer science community.

Supporters

Contact