António José dos Reis Morgado


AuthID: R-00K-JMR

Confirmed Publications: 41



31
TITLE: An Empirical Study of Encodings for Group MaxSAT
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: Canadian AI, VOLUME: 7310 LNAI
INDEXED IN: Scopus DBLP CrossRef: 3 Unpaywall
IN MY: ORCID
32
TITLE: Improvements to Core-Guided Binary Search for MaxSAT
AUTHORS: Morgado, António ; Federico Heras; João Marques Silva ;
PUBLISHED: 2012, SOURCE: SAT, VOLUME: 7317 LNCS
INDEXED IN: Scopus DBLP CrossRef: 23 Unpaywall
IN MY: ORCID
33
TITLE: Iterative SAT Solving for Minimum Satisfiability
AUTHORS: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 10 Unpaywall
IN MY: ORCID
34
TITLE: Lower Bounds and Upper Bounds for MaxSAT
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: LION, VOLUME: 7219 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3 Unpaywall
IN MY: ORCID
35
TITLE: MaxSAT-Based MCS Enumeration
AUTHORS: Morgado, António ; Mark H Liffiton; João Marques Silva ;
PUBLISHED: 2012, SOURCE: Haifa Verification Conference, VOLUME: 7857 LNCS
INDEXED IN: Scopus DBLP CrossRef: 19 Unpaywall
IN MY: ORCID
36
TITLE: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2011, SOURCE: AAAI, VOLUME: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID
37
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: 5 Unpaywall
IN MY: ORCID
38
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: 6 Unpaywall
IN MY: ORCID
39
TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
AUTHORS: Morgado, António ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: RCRA, VOLUME: 451
INDEXED IN: Scopus DBLP
IN MY: ORCID
40
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: 7 Unpaywall
IN MY: ORCID
Page 4 of 5. Total results: 41.

footer slogan

Useful Links

Get Help

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