Skip to main content

A Simple Lowerbound for Resolution

Don Knuth ( Stanford University, USA )

Speaker bio

http://www-cs-faculty.stanford.edu/~knuth/

Share this: