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: Mill=aacute=n:Enrique_San
Contributed to:
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.