skip to content
 

QBF proof complexity

Presented by: 
L Chew University of Leeds
Date: 
Friday 4th September 2015 - 10:40 to 11:10
Venue: 
INI Seminar Room 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons