Search 

ASTRA Group on Constraint Programming

Constraint programming (CP) is a rather novel set of methods and tools for modelling and solving constraint problems, in a way orthogonal and complementary to other optimisation technologies (such as ILP, MILP, SAT, etc). Constraint problems arise in many application domains, such as scheduling, rostering, planning, configuration, control, design, biology, finance, transport, logistics, and so on. Decisions have to be made (that is, the values of unknowns have to be determined) so that some constraints are satisfied and, optionally, some cost / benefit is minimised / maximised. (Read more)

News

• Pierre Flener serves on the programme committee of AAAI-10, the 24th AAAI Conference on Artificial Intelligence, to be held in Atlanta (Georgia, USA) in July 2010.

• Pierre Flener and Justin Pearson guest-edit the Special Issue on Constraint Programming for Air Traffic Control & Management of the Knowledge Engineering Review.

• Pierre Flener serves on the programme committee of RCRA'09, the 16th International RCRA Workshop, on experimental evaluation of algorithms for solving problems with combinatorial explosion, to be held in Reggio Emilia (Italy) in December 2009.

• Farshid Hassani Bijarbooneh defended his MSc thesis on 27 October 2009.

• Ass't Prof. Toni Mancini of Sapienza Università di Roma (Italy) visited us from mid July 2009 to late October 2009.

• Tomas Axling of Tacton Systems AB gave a talk on "Constraint Technology for Solving Configuration Problems" on 12 October 2009.

• Pan Xiaoyue defended her MSc thesis on 5 October 2009.

• Pierre Flener taught a course on constraint programming in autumn 2009 at Uppsala University.

• Pierre Flener gave the invited talk at SymCon'09, the 9th International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'09 in Lisbon (Portugal) in September 2009.

• Pierre Flener and Justin Pearson served on the programme committee of SymCon'09, the 9th International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'09 in Lisbon (Portugal) in September 2009.

• Pierre Flener served on the programme committee of LSCS'09, the 6th International Workshop on Local Search Techniques in Constraint Satisfaction, held at CP'09 in Lisbon (Portugal) in September 2009.

• Justin Pearson served on the programme committee of the Doctoral Programme of CP'09, held in Lisbon (Portugal) in September 2009.