António José dos Reis Morgado


AuthID: R-00K-JMR

Publicações Confirmadas: 41



21
TÍTULO: Prime Compilation of Non-Clausal Formulae
AUTORES: Alessandro Previti; Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: IJCAI, VOLUME: 2015-January
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
22
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: 42 Unpaywall
NO MEU: ORCID
23
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 CrossRef: 6
NO MEU: ORCID
24
TÍTULO: MSCG: Robust Core-Guided MaxSAT Solving
AUTORES: Morgado, António ; Alexey Ignatiev; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: J. Satisf. Boolean Model. Comput., VOLUME: 9, NÚMERO: 1
INDEXADO EM: DBLP
25
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: ORCID
26
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 CrossRef: 10
NO MEU: ORCID
27
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: 104 Unpaywall
NO MEU: ORCID
28
TÍTULO: Maximal Falsifiability - Definitions, Algorithms, and Applications. Definitions, Algorithms, and Applications
AUTORES: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: LPAR, VOLUME: 8312 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID
29
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: ORCID
30
TÍTULO: SAT-Based Preprocessing for MaxSAT
AUTORES: Anton Belov; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: LPAR, VOLUME: 8312 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 12 Unpaywall
NO MEU: ORCID
Página 3 de 5. Total de resultados: 41.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service