João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



251
TÍTULO: The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
AUTORES: João P Marques Silva ;
PUBLICAÇÃO: 1999, FONTE: 9th Portuguese Conference on Progress in Artificial Intelligence, EPIA 1999 in Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings, VOLUME: 1695
INDEXADO EM: Scopus DBLP Unpaywall
NO MEU: DBLP
252
TÍTULO: An exact solution to the minimum size test pattern problem
AUTORES: Flores, PF ; Neto, HC ; Silva, JPM ;
PUBLICAÇÃO: 1998, FONTE: International Conference on Computer Design: VLSI in Computers and Processors in INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
253
TÍTULO: Efficient search techniques for the inference of minimum size finite automata
AUTORES: Oliveira, AL ; Silva, JPM ;
PUBLICAÇÃO: 1998, FONTE: South American Symposium on String Processing and Information Retrieval (SPIRE 98) in STRING PROCESSING AND INFORMATION RETRIEVAL - PROCEEDINGS: A SOUTH AMERICAN SYMPOSIUM, VOLUME: 1998-September
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: DBLP
254
TÍTULO: Integer programming models for optimization problems in Test Generation
AUTORES: Silva, JPM ;
PUBLICAÇÃO: 1998, FONTE: 3rd Meeting of the Asia and South-Pacific Design Automation Conference (ASP-DAC 98) / EDA Techno Fair 98 in PROCEEDINGS OF THE ASP-DAC '98 - ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1998 WITH EDA TECHNO FAIR '98
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
255
TÍTULO: Realistic delay modeling in satisfiability-based timing analysis
AUTORES: e Silva Luis Guerra; Marques Silva Joao, P ; Silveira, L. Miguel ; Sakallah Karem, A;
PUBLICAÇÃO: 1998, FONTE: Proceedings of the 1998 IEEE International Symposium on Circuits and Systems, ISCAS. Part 5 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 6
INDEXADO EM: Scopus
NO MEU: ORCID
256
TÍTULO: Realistic delay modeling in satisfiability-based timing analysis
AUTORES: Silva, LG ; Silva, JPM ; Silveira, L. Miguel ; Sakallah, KA;
PUBLICAÇÃO: 1998, FONTE: IEEE International Symposium on Circuits and Systems (ISCAS 98) in ISCAS '98 - PROCEEDINGS OF THE 1998 INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-6
INDEXADO EM: WOS CrossRef: 8
257
TÍTULO: Timing analysis using Propositional Satisfiability
AUTORES: e Silva Luis Guerra; Marques Silva Joao, P ; Silveira, L. Miguel ; Sakallah Karem, A;
PUBLICAÇÃO: 1998, FONTE: Proceedings of the 1998 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS'98) - Surfing the Waves of Science and Technology in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 3
INDEXADO EM: Scopus
NO MEU: ORCID
258
TÍTULO: Prime implicant computation using satisfiability algorithms
AUTORES: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLICAÇÃO: 1997, FONTE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
NO MEU: DBLP
259
TÍTULO: Robust search algorithms for test pattern generation  Full Text
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1997, FONTE: 27th Annual International Symposium on Fault-Tolerant Computing (FTCS-27) in TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS
INDEXADO EM: WOS DBLP
NO MEU: DBLP
260
TÍTULO: Conflict analysis in search algorithms for satisfiability
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1996, FONTE: 8th IEEE International Conference on Tools with Artificial Intelligence (TAI 96) in EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
Página 26 de 28. Total de resultados: 271.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service