BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Interactive Configuration Problems - Henrik Reif Andersen - Config
 it.Com\, Copenhagen.
DTSTART:20140219T140000Z
DTEND:20140219T150000Z
UID:TALK49752@talks.cam.ac.uk
CONTACT:David Greaves
DESCRIPTION:In this talk we will introduce interactive configuration probl
 ems. An interactive configurator is a software application that guides a u
 ser in choosing a sequence of values to form a valid configuration. Validi
 ty is defined by a constraint satisfaction problem and an interactive conf
 igurator is in essence repeatedly solving a high number of highly related 
 NP-hard satisfaction problems. Despite the intrinsic hardness of the probl
 em\, algorithms exist that perform very well in practice being able to sol
 ve constraint problems with 10\,000’s of variables. We will describe the
 se algorithms as well as the commercial applications of them in a variety 
 of very diverse areas such as configuration of wind turbines\, insurance p
 olicies\, and the Jaguar F-Type. We will also show brief demonstrations of
  the software.
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR