João Paulo Marques da Silva
AuthID: R-000-J0P
71
TÃTULO: Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking PDF
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.3784
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.3784
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP72
TÃTULO: SMT-Based Bounded Model Checking for Embedded ANSI-C Software PDF
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0907.2072
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0907.2072
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP73
TÃTULO: An experimental study of satisfiability search heuristics
AUTORES: Fadi A Aloul; João P Marques Silva; Karem A Sakallah;
PUBLICAÇÃO: 2000, FONTE: Proceedings -Design, Automation and Test in Europe, DATE
AUTORES: Fadi A Aloul; João P Marques Silva; Karem A Sakallah;
PUBLICAÇÃO: 2000, FONTE: Proceedings -Design, Automation and Test in Europe, DATE
74
TÃTULO: Boolean satisfiability algorithms and applications in electronic design automation
AUTORES: João Marques Silva; Karem Sakallah;
PUBLICAÇÃO: 2000, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1855
AUTORES: João Marques Silva; Karem Sakallah;
PUBLICAÇÃO: 2000, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1855
INDEXADO EM: 
Scopus
Scopus75
TÃTULO: Algebraic simplification techniques for propositional satisfiability
AUTORES: João Marques Silva;
PUBLICAÇÃO: 2000, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1894
AUTORES: João Marques Silva;
PUBLICAÇÃO: 2000, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1894
INDEXADO EM: Scopus 
Unpaywall
Scopus Unpaywall76
TÃTULO: Algebraic Simplification Techniques for Propositional Satisfiability
AUTORES: João Marques-Silva;
PUBLICAÇÃO: 2000, FONTE: Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science
AUTORES: João Marques-Silva;
PUBLICAÇÃO: 2000, FONTE: Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science
77
TÃTULO: The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
AUTORES: João Marques-Silva;
PUBLICAÇÃO: 1999, FONTE: Progress in Artificial Intelligence - Lecture Notes in Computer Science
AUTORES: João Marques-Silva;
PUBLICAÇÃO: 1999, FONTE: Progress in Artificial Intelligence - Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef78
TÃTULO: Solving satisfiability in combinational circuits with backtrack search and recursive learning
AUTORES: João P Marques Silva; Luís Guerra Guerra E Silva;
PUBLICAÇÃO: 1999, FONTE: Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999
AUTORES: João P Marques Silva; Luís Guerra Guerra E Silva;
PUBLICAÇÃO: 1999, FONTE: Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999
INDEXADO EM: Scopus
Scopus