João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



81
TÍTULO: On the Query Complexity of Selecting Few Minimal Sets
AUTORES: João Marques Silva ; Mikolás Janota;
PUBLICAÇÃO: 2014, FONTE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21
INDEXADO EM: DBLP
NO MEU: DBLP
82
TÍTULO: Progression in Maximum Satisfiability
AUTORES: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
83
TÍTULO: SAT Solvers
AUTORES: Joao Marques Silva ; Inês Lynce;
PUBLICAÇÃO: 2014, FONTE: Tractability: Practical Approaches to Hard Problems
INDEXADO EM: DBLP
NO MEU: DBLP
84
TÍTULO: Synthesizing Safe Bit-Precise Invariants
AUTORES: Arie Gurfinkel; Anton Belov; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, VOLUME: 8413
INDEXADO EM: DBLP
NO MEU: DBLP
85
TÍTULO: Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
AUTORES: Yuri Malitsky; Barry O'Sullivan; Alessandro Previti; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), VOLUME: 263
INDEXADO EM: DBLP
NO MEU: DBLP
86
TÍTULO: Towards Efficient Optimization in Package Management Systems
AUTORES: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 36th International Conference on Software Engineering (ICSE) in 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 14 Unpaywall
NO MEU: DBLP
87
TÍTULO: A Two-Variable Model for SAT-Based ATPG  Full Text
AUTORES: Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 32, NÚMERO: 12
INDEXADO EM: Scopus WOS DBLP CrossRef: 11 Unpaywall
NO MEU: DBLP
88
TÍTULO: Core Minimization in SAT-based Abstraction  Full Text
AUTORES: Belov, A; Chen, H; Mishchenko, A; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
89
TÍTULO: Formula Preprocessing in MUS Extraction
AUTORES: Anton Belov; Matti Järvisalo; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 in Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, VOLUME: 7795
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
90
TÍTULO: Iterative and core-guided MaxSAT solving: A survey and assessment  Full Text
AUTORES: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: CONSTRAINTS, VOLUME: 18, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 90 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
Página 9 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