Search Sciweavers | Sciweavers

5506 search results - page 30 / 1102

» Minimal Logic Programs

click to vote

DAC
1993
ACM

109views Computer Architecture» more DAC 1993»

Espresso-Signature: A New Exact Minimizer for Logic Functions

13 years 11 months ago

Download www2.engr.arizona.edu

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

claim paper

Read More »

click to vote

ICCAD
1992
IEEE

109views Hardware» more ICCAD 1992»

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

13 years 11 months ago

Download www.cs.unc.edu

Steven M. Nowick, David L. Dill

claim paper

Read More »

click to vote

VLSID
1995
IEEE

109views VLSI» more VLSID 1995»

Logic minimization based approach for compressing image data

13 years 11 months ago

Download eprints.iisc.ernet.in

Jacob Augustine, Wen Feng, James Jacob

claim paper

Read More »

click to vote

JELIA
1994
Springer

102views Artificial Intelligence» more JELIA 1994»

Autoepistemic Logic of Minimal Beliefs

13 years 11 months ago

Download www.aaai.org

Teodor C. Przymusinski

claim paper

Read More »

click to vote

DLOG
2008

139views Automated Reasoning» more DLOG 2008»

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

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers