New Algorithms for QBF

Ian Gent

University of St Andrews

http://www.dcs.st-and.ac.uk/~apes

Glasgow, 24 April 2001

Next slide

Back to first slide

View graphic version