Sciweavers

503 search results - page 1 / 101
» Interpolative Boolean Logic
Sort
View
ICCAD
2010
IEEE
140views Hardware» more  ICCAD 2010»
13 years 1 months ago
Reduction of interpolants for logic synthesis
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
John D. Backes, Marc D. Riedel
EUSFLAT
2007
147views Fuzzy Logic» more  EUSFLAT 2007»
13 years 5 months ago
Logical Aggregation Based on Interpolative Realization of Boolean Algebra
In this paper, aggregation is treated as a logical and/or pseudo-logical operation what is important from many points of view such as adequacy and interpretations.
Dragan G. Radojevic
AIMSA
2008
Springer
13 years 10 months ago
Interpolative Boolean Logic
Dragan G. Radojevic, Aleksandar Perovic, Zoran Ogn...
DAC
2008
ACM
14 years 4 months ago
Bi-decomposing large Boolean functions via interpolation and satisfiability solving
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...
Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung
IGPL
2011
12 years 7 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski