Testing a language accepted by a fixed Boolean formula

12^th October 2010, 16:00
Dr Oded Lachish
Centre for Discrete Mathematics and its Applications (DIMAP), University of Warwick, UK