352 search results - page 4 / 71 » Proofs as Polynomials |
99
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
COCO
1992
Springer
15 years 7 months ago
1992
Springer
ENTCS
2008
15 years 3 months ago
2008
JCT
2000
15 years 3 months ago
2000
126
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We define a multivariate polynomial that generalizes in a unified way the twovariable interlace polynomial defined by Arratia, Bollob´as and Sorkin on the one hand, and a one-...