João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



121
TÍTULO: SMT-Based Bounded Model Checking for Embedded ANSI-C Software  Full Text
AUTORES: Cordeiro, L; Fischer, B; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 38, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 107 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
122
TÍTULO: Solving QBF with Counterexample Guided Refinement
AUTORES: Mikolás Janota; William Klieber; João Marques Silva ; Edmund M Clarke;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
123
TÍTULO: TG-Pro: A SAT-based ATPG System PDF
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 1/2
INDEXADO EM: DBLP
NO MEU: DBLP
124
TÍTULO: Towards efficient MUS extraction  Full Text
AUTORES: Belov, A; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: AI COMMUNICATIONS, VOLUME: 25, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: ResearcherID | DBLP
125
TÍTULO: Abstraction-Based Algorithm for 2QBF
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
126
TÍTULO: Accelerating MUS extraction with recursive model rotation
AUTORES: Anton Belov; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 2011 Formal Methods in Computer-Aided Design, FMCAD 2011 in International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
127
TÍTULO: Anatomy and Empirical Evaluation of Modern SAT Solvers
AUTORES: Karem A. Sakallah; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: Bulletin of the EATCS, VOLUME: 103
INDEXADO EM: DBLP
NO MEU: DBLP
128
TÍTULO: Boolean lexicographic optimization: algorithms & applications  Full Text
AUTORES: Marques Silva, J ; Argelich, J; Graca, A; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 62, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
129
TÍTULO: cmMUS: A Tool for Circumscription-Based MUS Membership Testing  Full Text
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
130
TÍTULO: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, VOLUME: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
Página 13 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