Back to Results
First PageMeta Content
Computational complexity theory / Conjunctive normal form / Proof complexity / PP / IP / Polynomial / Boolean algebra / Frege system / MAX-3SAT / Theoretical computer science / Applied mathematics / Logic in computer science


Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds∗ Yuval Filmus University of Toronto Massimo Lauria
Add to Reading List

Document Date: 2013-05-06 19:14:13

Open Document

File Size: 449,13 KB

Share Result on Facebook

Currency

pence / /

Facility

Technology Mladen Mikˇsa KTH Royal Institute of Technology Jakob Nordstr¨om KTH Royal Institute / Technology Marc Vinyals KTH Royal Institute of Technology May / Lower Bounds∗ Yuval Filmus University of Toronto Massimo Lauria KTH Royal Institute / /

IndustryTerm

machinery / proof systems / /

Movie

D. 4 / /

Organization

New Separations and Lower Bounds∗ Yuval Filmus University / Organization of This Paper The / University of Toronto / Institute of Technology / /

Person

Tor / Duplicator / Esteban / Spoiler / /

Technology

Dom / /

SocialTag