News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

22 March 2002, Computing with LLI Seminar, Pieter Adriaans

Speaker: Pieter Adriaans
(Amsterdam)
Title: SSTT (Speed Search in Truth Tables): SAT as a learning problem.
Date: Friday 22 March 2002
Time: 13:30
Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#March22 .

Please note that this newsitem has been archived, and may contain outdated information or links.