Seminar on Boolean Constraint Reasoning

Course homepage

Basic information

Main themes and learning objectives »

Course code: 58310301

Credit units: 3

Subprogramme: Algorithms and machine learning

Level: Advanced studies

Description:

Year	Semester	Date	Period	Language	In charge
2010	autumn	06.09-10.12.	1-2	English

Lectures

Time	Room	Lecturer	Date
Wed 14-16	C220	Matti Järvisalo	08.09.2010-13.10.2010
Wed 14-16	C220	Matti Järvisalo	03.11.2010-08.12.2010

Address: Department of Computer Science, P.O. 68 (Gustaf Hällströmin katu 2b), FI-00014 UNIVERSITY OF HELSINKI, FINLAND
Opening Hours: During spring and autumn semesters Mon - Fri 7.45 - 19.45 (7.45 am - 7.45 pm)
Phone: +358 9 1911 (University switch)
General e-mail: info [at] cs.helsinki.fi
Fax: +358 9 1915 1120

Department of Computer Science

University of Helsinki

Faculty of Science

Seminar on Boolean Constraint Reasoning

Lectures