Algorithms and Problemsfor Quantified SAT

Toby Walsh

Department of Computer Science

University of York

England

Ian P. Gent

School of Computer Science

University of St Andrews

Scotland

Next slide

Back to first slide

View graphic version