BEGIN:VCALENDAR
PRODID:-//SMW Project//Semantic Result Formats
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:ICCL-Veranstaltungen
X-WR-CALDESC:
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:20150413T145000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:SAT-Solving: Parallel SAT Solving (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_a1ddb206e28b261e79420bcb70ca1b58
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_a1ddb206e28b261e79420bcb70ca1b58
DTSTART:20150713T130000
DTEND:20150713T143000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: Simplification (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_987db7ea041467cda7cf13ae7fdce6e8
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_987db7ea041467cda7cf13ae7fdce6e8
DTSTART:20150706T130000
DTEND:20150706T143000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: CNF Benchmark (Übung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_b5b658ce4d89f4c96f45dd0e70cf587f
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_b5b658ce4d89f4c96f45dd0e70cf587f
DTSTART:20150629T145000
DTEND:20150629T162000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: Konflikt Analyse (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_08086dee8810664c21434abc3953696b
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_08086dee8810664c21434abc3953696b
DTSTART:20150629T130000
DTEND:20150629T143000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: SAT - Programming (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_c21398d28c5d1c4bed7c7bd8b016955e
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_c21398d28c5d1c4bed7c7bd8b016955e
DTSTART:20150622T130000
DTEND:20150622T143000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: SAT Algorithms (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_e006ecace0e59fbcb43eb6379e2882e8
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_e006ecace0e59fbcb43eb6379e2882e8
DTSTART:20150615T130000
DTEND:20150615T143000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: Exercise 5 (Übung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_6d41d0eb899589dd210d63fa269afe5e
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_6d41d0eb899589dd210d63fa269afe5e
DTSTART:20150608T145000
DTEND:20150608T162000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: Stochastic Local Search (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_567d881cf45824c15c54c2bd3f3f8a8f
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_567d881cf45824c15c54c2bd3f3f8a8f
DTSTART:20150608T130000
DTEND:20150608T143000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: Exercise 4 (Übung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_c4dddf85a1f114a785a937ac3e7c4bdf
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_c4dddf85a1f114a785a937ac3e7c4bdf
DTSTART:20150601T145000
DTEND:20150601T162000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: Exercise 3 (Übung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_a3bec2acfd22e4d6bf422310c947d169
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_a3bec2acfd22e4d6bf422310c947d169
DTSTART:20150504T145000
DTEND:20150504T162000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: Systematic Search (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_65a4f290e6e22e358653467be0d0d883
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_65a4f290e6e22e358653467be0d0d883
DTSTART:20150504T130000
DTEND:20150504T143000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: Exercise 2 (Übung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_355b62c60bf150c945f5e4180a7271ea
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_355b62c60bf150c945f5e4180a7271ea
DTSTART:20150427T145000
DTEND:20150427T162000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: Exercise 1 (Übung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_422ec6ca101ba7b8a8558bbb2808e179
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_422ec6ca101ba7b8a8558bbb2808e179
DTSTART:20150420T145000
DTEND:20150420T162000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: SAT Problems (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_6fc1d09db36ae5444260a93bf7cab0ed
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_6fc1d09db36ae5444260a93bf7cab0ed
DTSTART:20150420T145000
DTEND:20150420T162000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
BEGIN:VEVENT
SUMMARY:SAT-Solving: SAT Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_a79a5d57737c0b1d7d8734a62ef8ebd6
UID://iccl.inf.tu-dresden.de/web/SAT-Solving_und_das_L%C3%B6sen_von_Sudokus_(SS2015)#_a79a5d57737c0b1d7d8734a62ef8ebd6
DTSTART:20150413T145000
DTEND:20150413T162000
LOCATION:APB E005
DTSTAMP:20150725T120944
SEQUENCE:16691
END:VEVENT
END:VCALENDAR