João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



251
TITLE: The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
AUTHORS: João P Marques Silva ;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: Scopus DBLP Unpaywall
IN MY: DBLP
252
TITLE: An exact solution to the minimum size test pattern problem
AUTHORS: Flores, PF ; Neto, HC ; Silva, JPM ;
PUBLISHED: 1998, SOURCE: International Conference on Computer Design: VLSI in Computers and Processors in INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
253
TITLE: Efficient search techniques for the inference of minimum size finite automata
AUTHORS: Oliveira, AL ; Silva, JPM ;
PUBLISHED: 1998, SOURCE: South American Symposium on String Processing and Information Retrieval (SPIRE 98) in STRING PROCESSING AND INFORMATION RETRIEVAL - PROCEEDINGS: A SOUTH AMERICAN SYMPOSIUM
INDEXED IN: WOS DBLP
IN MY: DBLP
254
TITLE: Integer programming models for optimization problems in Test Generation
AUTHORS: Silva, JPM ;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
255
TITLE: Realistic delay modeling in satisfiability-based timing analysis
AUTHORS: Silva, LG ; Silva, JPM ; Silveira, L. Miguel ; Sakallah, KA;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: WOS
256
TITLE: Realistic delay modeling in satisfiability-based timing analysis
AUTHORS: e Silva Luis Guerra; Marques Silva Joao, P ; Silveira, L. Miguel ; Sakallah Karem, A;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
257
TITLE: Timing analysis using Propositional Satisfiability
AUTHORS: e Silva Luis Guerra; Marques Silva Joao, P ; Silveira, L. Miguel ; Sakallah Karem, A;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
258
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: 28
IN MY: DBLP
259
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
IN MY: DBLP
260
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
IN MY: DBLP
Page 26 of 28. Total results: 271.

A place for researchers and their institutions

Useful Links

Get Help

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