António José dos Reis Morgado


AuthID: R-00K-JMR

Publicações Confirmadas: 41



31
TÍTULO: An Empirical Study of Encodings for Group MaxSAT
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: Canadian AI, VOLUME: 7310 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID
32
TÍTULO: Improvements to Core-Guided Binary Search for MaxSAT
AUTORES: Morgado, António ; Federico Heras; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: SAT, VOLUME: 7317 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 23 Unpaywall
NO MEU: ORCID
33
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: 10 Unpaywall
NO MEU: ORCID
34
TÍTULO: Lower Bounds and Upper Bounds for MaxSAT
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: LION, VOLUME: 7219 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID
35
TÍTULO: MaxSAT-Based MCS Enumeration
AUTORES: Morgado, António ; Mark H Liffiton; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: Haifa Verification Conference, VOLUME: 7857 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 19 Unpaywall
NO MEU: ORCID
36
TÍTULO: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: AAAI, VOLUME: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
37
TÍTULO: On Validating Boolean Optimizers
AUTORES: Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
NO MEU: ORCID
38
TÍTULO: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem  Full Text
AUTORES: Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2010, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 102, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID
39
TÍTULO: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
AUTORES: Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: RCRA, VOLUME: 451
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
40
TÍTULO: Counting models in integer domains
AUTORES: Morgado, António ; Matos, P; Manquinho, V ; Marques Silva, J ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXADO EM: Scopus WOS DBLP CrossRef: 7 Unpaywall
NO MEU: ORCID
Página 4 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