Luís Guerra e Silva

Statistics

Publications

Citations

177

H-Index

Active since

1999

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

Cadence Design Systems (United States)

University of Lisbon

University of Michigan

Instituto Superior Técnico

Luís Guerra e Silva is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in engineering, electrical engineering, and timing modeling.

ORCID

Publications per year

1999–2013

Publications

Algorithms for solving Boolean satisfiability in combinational circuits

Luís Guerra e Silva, L. Miguel Silveira, Joöa Marques-Silva · 1999 · 41 citations · Full text

Engineering, Computer Engineering, Computer Science +15

Satisfiability models and algorithms for circuit delay computation

Luís Guerra e Silva, João Marques‐Silva, L. Miguel Silveira et al. · ACM Transactions on Design Automation of Electronic Systems · 2002 · 39 citations

Engineering, Computer Engineering, Electrical Engineering +17

Realistic delay modeling in satisfiability-based timing analysis

Luís Guerra e Silva, João Marques‐Silva, L. Miguel Silveira et al. · 2002 · 21 citations

Engineering, Computer Science, Electrical Engineering +16

Solving satisfiability in combinational circuits

João Marques‐Silva, Luís Guerra e Silva · IEEE Design & Test of Computers · 2003 · 19 citations

Engineering, Computer Science, Electrical Engineering +17

Efficient Computation of the Worst-Delay Corner

Luís Guerra e Silva, L. Miguel Silveira, Joel Phillips · 2007 · 18 citations

Engineering, Computer Engineering, Electrical Engineering +15

1–5 of 8