Sciweavers

5506 search results - page 30 / 1102
» Minimal Logic Programs
Sort
View
DAC
1993
ACM
15 years 6 months ago
Espresso-Signature: A New Exact Minimizer for Logic Functions
Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. B...
VLSID
1995
IEEE
109views VLSI» more  VLSID 1995»
15 years 6 months ago
Logic minimization based approach for compressing image data
Jacob Augustine, Wen Feng, James Jacob
100
Voted
JELIA
1994
Springer
15 years 5 months ago
Autoepistemic Logic of Minimal Beliefs
Teodor C. Przymusinski