2976 search results - page 108 / 596 » On the bounded integer programming |
98
Voted
STACS
2009
Springer
15 years 7 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...
81
Voted
STACS
2010
Springer
15 years 7 months ago
2010
Springer
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
92
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
64
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer