1486 search results - page 2 / 298 » A Logically Saturated Extension of |
ENTCS
2007
13 years 5 months ago
2007
SC
1991
ACM
13 years 9 months ago
1991
ACM
This paper presents an examination of two distinct but complementary extensions of previous work on hot spot contention in multistage interconnection networks. The first extensio...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
ASAP
2004
IEEE
13 years 9 months ago
2004
IEEE
In this paper, we present the design of a carry skip adder that achieves low power dissipation and high-performance operation. The carry skip adder's delay and power dissipat...
CADE
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...