António José dos Reis Morgado


AuthID: R-00K-JMR

Publicações Confirmadas: 47



41
TÍTULO: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, VOLUME: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
42
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: 2 Unpaywall
NO MEU: ORCID | DBLP
43
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: 5 Unpaywall
NO MEU: ORCID | DBLP
44
TÍTULO: A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem PDF
AUTORES: Morgado, António ; João P Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0805.0202
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
45
TÍTULO: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem PDF
AUTORES: Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: 15th Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2008 in Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008., VOLUME: 451
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
46
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: 6 Unpaywall
NO MEU: ORCID | DBLP
47
TÍTULO: Good learning and implicit model enumeration
AUTORES: Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2005, FONTE: 17th International Conference on Tools with Artificial Intelligence in ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2005
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
NO MEU: ORCID | DBLP
Página 5 de 5. Total de resultados: 47.

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