3208 search results - page 5 / 642 » A Lower Bound for Primality |
ASPDAC
2005
ACM
14 years 1 months ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
RANDOM
2001
Springer
14 years 2 days ago
2001
Springer
We discuss two approximation approaches, the primal-dual schema and the local-ratio technique. We present two relatively simple frameworks, one for each approach, which extend know...
SODA
1992
ACM
13 years 8 months ago
1992
ACM
An m
APAL
2005
13 years 7 months ago
2005
Pudl
STACS
2009
Springer
14 years 2 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...