BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:SAT Solving: Present and Future - Kullmann\, O (Swansea University
 )
DTSTART:20120327T150000Z
DTEND:20120327T153000Z
UID:TALK37198@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:SAT solving experienced exciting developments\, especially in 
 the last ten years. It seems fair to say that certain areas of industry\, 
 like EDA (Electronic Design Automation) would not be able perform at the c
 urrent level without "SAT technology". \n\nIn the first part of my talk I 
 will give some short overview on this development. Then\, in the second pa
 rt\, I want to discuss directions for the future.\n\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR