Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.