Search Sciweavers | Sciweavers

5506 search results - page 30 / 1102

» Minimal Logic Programs

100

click to vote

DAC
1993
ACM

109views Computer Architecture» more DAC 1993»

Espresso-Signature: A New Exact Minimizer for Logic Functions

15 years 7 months ago

Download www2.engr.arizona.edu

Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. B...

claim paper

Read More »

111

click to vote

ICCAD
1992
IEEE

109views Hardware» more ICCAD 1992»

Exact two-level minimization of hazard-free logic with multiple-input changes

15 years 7 months ago

Download www.cs.unc.edu

Steven M. Nowick, David L. Dill

claim paper

Read More »

102

click to vote

VLSID
1995
IEEE

109views VLSI» more VLSID 1995»

Logic minimization based approach for compressing image data

15 years 6 months ago

Download eprints.iisc.ernet.in

Jacob Augustine, Wen Feng, James Jacob

claim paper

Read More »

104

click to vote

JELIA
1994
Springer

102views Artificial Intelligence» more JELIA 1994»

Autoepistemic Logic of Minimal Beliefs

15 years 6 months ago

Download www.aaai.org

Teodor C. Przymusinski

claim paper

Read More »

100

click to vote

DLOG
2008

139views Automated Reasoning» more DLOG 2008»

Next Steps for Description Logics of Minimal Knowledge and Negation as Failure

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers