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)
(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.