395 search results - page 48 / 79 » Encoding Algorithms for Logic Synthesis |
108
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Reversible logic became a promising alternative to traditional circuits because of its applications e.g. in low-power design and quantum computation. As a result, design of revers...
140
Voted
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
133
click to vote
DLOG
2006
15 years 3 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
111
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
113
Voted
DBPL
1999
Springer
15 years 6 months ago
1999
Springer
Linear constraint databases and query languages are appropriate for spatial database applications. Not only the data model is natural to represent a large portion of spatial data s...