BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Germany
Collaborated with:
J.A.Espejo L.Entrena E.Olías S.Chiusano F.Corno
Talks about:
optim (2) logic (2) techniqu (1) sequenti (1) general (1) symbol (1) scheme (1) redund (1) reason (1) integr (1)

Person: Enrique San Millán

DBLP DBLP: Mill=aacute=n:Enrique_San

Contributed to:

DATE 20012001
DATE 19991999

Wrote 2 papers:

DATE-2001-EspejoEMO #logic #optimisation #reasoning
Generalized reasoning scheme for redundancy addition and removal logic optimization (JAE, LE, ESM, EO), pp. 391–397.
DATE-1999-MillanEECC #logic #optimisation
Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization (ESM, LE, JAE, SC, FC), pp. 516–520.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.