Antnio Morgado
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
16
Active years
2001–2024
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | KR | Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. | Yacine Izza, Xuanxiang Huang, Antnio Morgado, Jordi Planes, Alexey Ignatiev, Joo Marques-Silva |
| 2023 | ISSTA | MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. | Frederico Ramos, Diogo Costa Reis, Miguel Trigo, Antnio Morgado, Jos Fragoso Santos |
| 2023 | TACAS | Feature Necessity & Relevancy in ML Classifier Explanations. | Xuanxiang Huang, Martin C. Cooper, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2022 | RV | TestSelector: Automatic Test Suite Selection for Student Projects. | Filipe Marques, Antnio Morgado, Jos Fragoso Santos, Mikols Janota |
| 2021 | CP | The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. | Mikols Janota, Antnio Morgado, Jos Fragoso Santos, Vasco Manquinho |
| 2020 | SAT | SAT-Based Encodings for Optimal Decision Trees with Explicit Paths. | Mikols Janota, Antnio Morgado |
| 2019 | IJCAI | Model-Based Diagnosis with Multiple Observations. | Alexey Ignatiev, Antnio Morgado, Georg Weissenbacher, Joo Marques-Silva |
| 2019 | LATA | Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. | Ilya Zakirzyanov, Antnio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joo Marques-Silva |
| 2019 | SAT | DRMaxSAT with MaxHS: First Contact. | Antnio Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joo Marques-Silva, Sam Buss |
| 2018 | AAAI | MaxSAT Resolution With the Dual Rail Encoding. | Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joo Marques-Silva, Antnio Morgado |
| 2018 | SAT | PySAT: A Python Toolkit for Prototyping with SAT Oracles. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2017 | EPIA | Horn Maximum Satisfiability: Reductions, Algorithms and Applications. | Joo Marques-Silva, Alexey Ignatiev, Antnio Morgado |
| 2017 | IJCAI | Cardinality Encodings for Graph Optimization Problems. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2017 | SAT | On Tackling the Limits of Resolution in SAT Solving. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2016 | ECAI | Propositional Abduction with Implicit Hitting Sets. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2015 | IJCAI | Efficient Model Based Diagnosis with Maximum Satisfiability. | Joo Marques-Silva, Mikols Janota, Alexey Ignatiev, Antnio Morgado |
| 2015 | IJCAI | Prime Compilation of Non-Clausal Formulae. | Alessandro Previti, Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2014 | CP | Core-Guided MaxSAT with Soft Cardinality Constraints. | Antnio Morgado, Carmine Dodaro, Joo Marques-Silva |
| 2014 | ECAI | Progression in Maximum Satisfiability. | Alexey Ignatiev, Antnio Morgado, Vasco Manquinho, Ins Lynce, Joo Marques-Silva |
| 2014 | ECAI | Efficient Autarkies. | Joo Marques-Silva, Alexey Ignatiev, Antnio Morgado, Vasco Manquinho, Ins Lynce |
| 2014 | SAT | On Reducing Maximum Independent Set to Minimum Satisfiability. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2013 | ICTAI | Model-Guided Approaches for MaxSAT Solving. | Antnio Morgado, Federico Heras, Joo Marques-Silva |
| 2013 | LPAR | SAT-Based Preprocessing for MaxSAT. | Anton Belov, Antnio Morgado, Joo Marques-Silva |
| 2013 | LPAR | Maximal Falsifiability - Definitions, Algorithms, and Applications. | Alexey Ignatiev, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2012 | AI | An Empirical Study of Encodings for Group MaxSAT. | Federico Heras, Antnio Morgado, Joo Marques-Silva |
| 2012 | ICTAI | Iterative SAT Solving for Minimum Satisfiability. | Federico Heras, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2012 | SAT | Improvements to Core-Guided Binary Search for MaxSAT. | Antnio Morgado, Federico Heras, Joo Marques-Silva |
| 2011 | AAAI | Core-Guided Binary Search Algorithms for Maximum Satisfiability. | Federico Heras, Antnio Morgado, Joo Marques-Silva |
| 2011 | ICTAI | On Validating Boolean Optimizers. | Antnio Morgado, Joo Marques-Silva |
| 2006 | SAT | Counting Models in Integer Domains. | Antnio Morgado, Paulo J. Matos, Vasco Manquinho, Joo Marques-Silva |
| 2005 | ICTAI | Good Learning and Implicit Model Enumeration. | Antnio Morgado, Joo Marques-Silva |
| 2002 | PIMRC | Constrained space-time zero-forcing pre-equalizer for the downlink channel of UMTS-TDD. | Antnio Morgado, Atlio Gameiro, Jos J. G. Fernandes |
| 2001 | VTC | Pre-equalization technique for interference cancellation in the UMTS-TDD downlink channel. | Antnio Morgado, Pedro Pinho, Atlio Gameiro, Jos J. G. Fernandes |