2095 search results - page 28 / 419 » Improved pebbling bounds |
FOCS
2010
IEEE
14 years 12 months ago
2010
IEEE
110
Voted
STACS
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
108
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
123
Voted
JSC
2010
15 years 9 days ago
2010
We propose a general framework for obtaining bounds on absolute positiveness of multivariate polynomials. We show that a known bound by Hong is a nearly optimal bound within this ...