8094 search results - page 311 / 1619 » Improvements in Formula Generalization |
133
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper studies buffer block planning for interconnect-driven floorplanning in deep submicron designs. We first introduce the concept of feasible region (FR) for buffer inserti...
124
click to vote
ISMVL
1999
IEEE
15 years 9 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
133
click to vote
FOCS
1998
IEEE
15 years 9 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
133
click to vote
TABLEAUX
1999
Springer
15 years 9 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
140
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
The Quadratic Assignment Problem (QAP) is a well-known NP-hard combinatorial optimization problem that is at the core of many real-world optimization problems. We prove that QAP c...