João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



101
TÍTULO: SAT-Based Preprocessing for MaxSAT
AUTORES: Anton Belov; Morgado, António ; 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: 11 Unpaywall
NO MEU: DBLP
102
TÍTULO: Solving QBF with Free Variables
AUTORES: Klieber, W; Janota, M; Marques Silva, J ; Clarke, E;
PUBLICAÇÃO: 2013, FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
103
TÍTULO: An Empirical Study of Encodings for Group MaxSAT
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 25th Canadian Conference on Artificial Intelligence, AI 2012 in Advances in Artificial Intelligence - 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings, VOLUME: 7310
INDEXADO EM: Scopus DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID | DBLP
104
TÍTULO: Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions
AUTORES: Joao Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
105
TÍTULO: Efficient and accurate haplotype inference by combining parsimony and pedigree information
AUTORES: Graca, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Algebraic and Numeric Biology, ANB 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6479 LNCS
INDEXADO EM: Scopus CrossRef: 9
NO MEU: ORCID
106
TÍTULO: Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality PDF
AUTORES: Anton Belov; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.1257
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
107
TÍTULO: HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY  Full Text
AUTORES: Letombe, F; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 21, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP
108
TÍTULO: Improvements to Core-Guided Binary Search for MaxSAT
AUTORES: Morgado, António ; Federico Heras; João Marques Silva ;
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: 22 Unpaywall
NO MEU: ORCID | DBLP
109
TÍTULO: Iterative SAT Solving for Minimum Satisfiability
AUTORES: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI) in 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
110
TÍTULO: Knowledge Compilation with Empowerment
AUTORES: Lucas Bordeaux; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012 in SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings, VOLUME: 7147
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
Página 11 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