Sciweavers

352 search results - page 4 / 71
» Proofs as Polynomials
Sort
View
ICALP
2010
Springer
15 years 2 months ago
On p-Optimal Proof Systems and Logics for PTIME
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 ...
Yijia Chen, Jörg Flum
COCO
1992
Springer
92views Algorithms» more  COCO 1992»
15 years 2 months ago
Interactive Proof Systems with Polynomially Bounded Strategies
Anne Condon, Richard E. Ladner
ENTCS
2008
65views more  ENTCS 2008»
14 years 10 months ago
Proofs as Polynomials
Esfandiar Haghverdi, Philip J. Scott
43
Voted
JCT
2000
45views more  JCT 2000»
14 years 10 months ago
Proof of a Chromatic Polynomial Conjecture
Feng Ming Dong
CORR
2007
Springer
85views Education» more  CORR 2007»
14 years 10 months ago
A multivariate interlace polynomial
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-...
Bruno Courcelle