João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 264



251
TITLE: Prime implicant computation using satisfiability algorithms
AUTHORS: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLISHED: 1997, SOURCE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 31
252
TITLE: Robust search algorithms for test pattern generation  Full Text
AUTHORS: Silva, JPM ; Sakallah, KA;
PUBLISHED: 1997, SOURCE: 27th Annual International Symposium on Fault-Tolerant Computing (FTCS-27) in TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS
INDEXED IN: WOS DBLP
253
TITLE: Conflict analysis in search algorithms for satisfiability
AUTHORS: Silva, JPM ; Sakallah, KA;
PUBLISHED: 1996, SOURCE: 8th IEEE International Conference on Tools with Artificial Intelligence (TAI 96) in EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP
254
TITLE: GRASP - A new search algorithm for satisfiability  Full Text
AUTHORS: Silva, JPM ; Sakallah, KA;
PUBLISHED: 1996, SOURCE: 1996 IEEE/ACM International Conference on Computer-Aided Design in 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
255
TITLE: Ravel-XL: A hardware accelerator for assigned-delay compiled-code logic gate simulation  Full Text
AUTHORS: Riepe, MA; Marques, JP ; Sakallah, KA; Brown, RB;
PUBLISHED: 1996, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 4, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | ResearcherID
256
TITLE: Dynamic search-space pruning techniques in path sensitization  Full Text
AUTHORS: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Design Automation Conference in Proceedings - Design Automation Conference
INDEXED IN: Scopus
IN MY: ORCID
257
TITLE: Dynamic Search-Space Pruning Techniques in Path Sensitization
AUTHORS: João Marques Marques Silva ; Karem A. Sakallah;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Conference on Design Automation, San Diego, California, USA, June 6-10, 1994.
INDEXED IN: DBLP
258
TITLE: Efficient and robust test generation-based timing analysis
AUTHORS: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE International Symposium on Circuits and Systems. Part 3 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 1
INDEXED IN: Scopus
IN MY: ORCID
259
TITLE: Efficient and Robust Test Generation-Based Timing Analysis
AUTHORS: João Marques Marques Silva ; Karem A. Sakallah;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994
INDEXED IN: DBLP
260
TITLE: An Analysis of Path Sensitization Criteria
AUTHORS: João Marques Marques Silva ; Karem A. Sakallah;
PUBLISHED: 1993, SOURCE: Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, ICCD '93, Cambridge, MA, USA, October 3-6, 1993
INDEXED IN: DBLP
Page 26 of 27. Total results: 264.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service