João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



71
TÍTULO: Core-Guided MaxSAT with Soft Cardinality Constraints
AUTORES: Morgado, António ; Dodaro, C; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXADO EM: Scopus WOS DBLP CrossRef: 30 Unpaywall
NO MEU: DBLP
72
TÍTULO: Efficient Autarkies
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I;
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
73
TÍTULO: Efficient Relaxations of Over-constrained CSPs
AUTORES: Carlos Mencía; Joao Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014
INDEXADO EM: DBLP
NO MEU: DBLP
74
TÍTULO: Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
AUTORES: Saïd Jabbour; Joao Marques Silva ; Lakhdar Sais; Yakoub Salhi;
PUBLICAÇÃO: 2014, FONTE: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, VOLUME: 8761
INDEXADO EM: DBLP
NO MEU: DBLP
75
TÍTULO: MSCG: Robust Core-Guided MaxSAT Solving
AUTORES: Morgado, António ; Alexey Ignatiev; Joao Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: JSAT, VOLUME: 9
INDEXADO EM: DBLP
NO MEU: DBLP
76
TÍTULO: MUS Extraction Using Clausal Proofs
AUTORES: Anton Belov; Marijn J H Heule; Joao Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
INDEXADO EM: WOS
77
TÍTULO: MUS Extraction Using Clausal Proofs
AUTORES: Anton Belov; Marijn Heule; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: DBLP
78
TÍTULO: On Computing Preferred MUSes and MCSes
AUTORES: João Marques Silva ; Alessandro Previti;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
INDEXADO EM: Scopus DBLP Unpaywall
NO MEU: DBLP
79
TÍTULO: On lazy and eager interactive reconfiguration
AUTORES: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014
INDEXADO EM: Scopus DBLP CrossRef: 5 Unpaywall
NO MEU: DBLP
80
TÍTULO: On Reducing Maximum Independent Set to Minimum Satisfiability
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Unpaywall
NO MEU: DBLP
Página 8 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