100 search results - page 5 / 20 » Combination of Lower Bounds in Exact BDD Minimization |
89
Voted
ICALP
2009
Springer
16 years 22 days ago
2009
Springer
In the interference scheduling problem, one is given a set of n communication requests described by sourcedestination pairs of nodes from a metric space. The nodes correspond to d...
127
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
105
Voted
ISSAC
2007
Springer
15 years 6 months ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
84
Voted
ICPR
2002
IEEE
16 years 1 months ago
2002
IEEE
A method for measuring dissimilarities between cyclic strings is introduced. It computes a weighted mean between two (lower and upper) bounds of the exact cyclic edit distance, wh...
114
Voted
KI
2006
Springer
15 years 12 days ago
2006
Springer
Abstract. In this paper, a framework for previous and new quasi-exact extensions of the A -algorithm is presented. In contrast to previous approaches, the new methods guarantee to ...