António José dos Reis Morgado


AuthID: R-00K-JMR

Confirmed Publications: 47



41
TITLE: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
42
TITLE: On Validating Boolean Optimizers
AUTHORS: Morgado, António ; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: ORCID | DBLP
43
TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem  Full Text
AUTHORS: Morgado, António ; Marques Silva, J ;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 102, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Unpaywall
IN MY: ORCID | DBLP
44
TITLE: A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem PDF
AUTHORS: Morgado, António ; João P Marques Silva ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0805.0202
INDEXED IN: DBLP arXiv
IN MY: DBLP
45
TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem PDF
AUTHORS: Morgado, António ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
46
TITLE: Counting models in integer domains
AUTHORS: Morgado, António ; Matos, P; Manquinho, V ; Marques Silva, J ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Unpaywall
IN MY: ORCID | DBLP
47
TITLE: Good learning and implicit model enumeration
AUTHORS: Morgado, António ; Marques Silva, J ;
PUBLISHED: 2005, SOURCE: 17th International Conference on Tools with Artificial Intelligence in ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2005
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Unpaywall
IN MY: ORCID | DBLP
Page 5 of 5. Total results: 47.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service