261 search results - page 28 / 53 » SAT-Based Algorithms for Logic Minimization |
104
Voted
JSAC
2006
15 years 5 days ago
2006
We consider the problem of traffic grooming in WDM path, star, and tree networks. Traffic grooming is a variant of the well-known logical topology design, and is concerned with the...
126
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...
119
Voted
CATA
2003
15 years 1 months ago
2003
This paper presents a basic framework for applying static task scheduling techniques to arbitrarily-structured task systems whose targeted execution environment is comprised of fi...
104
click to vote
CADE
2008
Springer
16 years 16 days ago
2008
Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
127
Voted
JAR
2008
15 years 6 days ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...