Propositional proof complexity
Published in Journal of the ACM • Jan 1, 2003
Authors:
Alexander Razborov
Abstract
article Share on Propositional proof complexity Author: Alexander Razborov Institute for Advanced Study, Princeton, New Jersey, and Steklov Mathematical Institute, Moscow, Russia Institute for Advanced Study, Princeton, New Jersey, and Steklov Mathematical Institute, Moscow, RussiaView Profile Autho...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!