Luis Miguel Teixeira D´avila Pinto da Silveira
AuthID: R-000-9SJ
21
TITLE: Algorithms for solving Boolean satisfiability in combinational circuits
AUTHORS: Luís Guerra e Silva; Silveira, L. Miguel; Joöa Marques-Silva;
PUBLISHED: 1999, SOURCE: Proceedings of the conference on Design, automation and test in Europe - DATE '99
AUTHORS: Luís Guerra e Silva; Silveira, L. Miguel; Joöa Marques-Silva;
PUBLISHED: 1999, SOURCE: Proceedings of the conference on Design, automation and test in Europe - DATE '99
22
TITLE: Efficent reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures
AUTHORS: Silveira, L. Miguel; Kamon, M; White, J;
PUBLISHED: 1995, SOURCE: 1995 European Conference on Design and Test, EDTC 1995 in Proceedings of the 1995 European Conference on Design and Test, EDTC 1995
AUTHORS: Silveira, L. Miguel; Kamon, M; White, J;
PUBLISHED: 1995, SOURCE: 1995 European Conference on Design and Test, EDTC 1995 in Proceedings of the 1995 European Conference on Design and Test, EDTC 1995
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID