João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



91
TÍTULO: Maximal Falsifiability - Definitions, Algorithms, and Applications
AUTORES: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
INDEXADO EM: Scopus DBLP CrossRef: 5 Unpaywall
NO MEU: DBLP
92
TÍTULO: Minimal Sets over Monotone Predicates in Boolean Formulae
AUTORES: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
93
TÍTULO: Model-Guided Approaches for MaxSAT Solving
AUTORES: Morgado, António ; Heras, F; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
NO MEU: DBLP
94
TÍTULO: On Computing Minimal Correction Subsets
AUTORES: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
95
TÍTULO: On Propositional QBF Expansions and Q-Resolution
AUTORES: Mikolás Janota; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 20
INDEXADO EM: DBLP
NO MEU: DBLP
96
TÍTULO: On Propositional QBF Expansions and Q-Resolution
AUTORES: Mikolás Janota; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
97
TÍTULO: On QBF Proofs and Preprocessing
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: DBLP
98
TÍTULO: Parallel MUS Extraction
AUTORES: Anton Belov; Norbert Manthey; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
99
TÍTULO: Partial MUS Enumeration
AUTORES: Alessandro Previti; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
100
TÍTULO: Quantified Maximum Satisfiability: - A Core-Guided Approach
AUTORES: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP
Página 10 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