207 search results - page 25 / 42 » Synthesizing Switching Logic Using Constraint Solving |
114
click to vote
ISPD
2004
ACM
15 years 5 months ago
2004
ACM
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...
117
click to vote
CONSTRAINTS
2011
14 years 3 months ago
2011
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...
106
click to vote
CADE
2002
Springer
16 years 13 hour ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
108
click to vote
ICLP
1995
Springer
15 years 3 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
104
click to vote
KI
2002
Springer
14 years 11 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...