António Morgado

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 21

Top Topics

Maximum Satisfiability

Independent Set

Top Venues

Publications

Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
Feature Necessity & Relevancy in ML Classifier Explanations. CoRR (2022)
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version. CoRR (2022)
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
TestSelector: Automatic Test Suite Selection for Student Projects. RV (2022)
Mikolás Janota, António Morgado, José Fragoso Santos, Vasco M. Manquinho
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. CP (2021)
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, António Morgado, João Marques-Silva
Propositional proof systems based on maximum satisfiability. Artif. Intell. 300 (2021)
Mikolás Janota, António Morgado
SAT-Based Encodings for Optimal Decision Trees with Explicit Paths. SAT (2020)
António Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss
DRMaxSAT with MaxHS: First Contact. SAT (2019)
Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. LATA (2019)
Alexey Ignatiev, António Morgado, João Marques-Silva
RC2: an Efficient MaxSAT Solver. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva
Model-Based Diagnosis with Multiple Observations. IJCAI (2019)
Alexey Ignatiev, António Morgado, João Marques-Silva
PySAT: A Python Toolkit for Prototyping with SAT Oracles. SAT (2018)
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado
MaxSAT Resolution With the Dual Rail Encoding. AAAI (2018)
Alexey Ignatiev, António Morgado, João Marques-Silva
On Tackling the Limits of Resolution in SAT Solving. SAT (2017)
João Marques-Silva, Alexey Ignatiev, António Morgado
Horn Maximum Satisfiability: Reductions, Algorithms & Applications. CoRR (2017)
Alexey Ignatiev, António Morgado, João Marques-Silva
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. CoRR (2017)
Alexey Ignatiev, António Morgado, João Marques-Silva
On Tackling the Limits of Resolution in SAT Solving. CoRR (2017)
João Marques-Silva, Alexey Ignatiev, António Morgado
Horn Maximum Satisfiability: Reductions, Algorithms and Applications. EPIA (2017)
Alexey Ignatiev, António Morgado, João Marques-Silva
Cardinality Encodings for Graph Optimization Problems. IJCAI (2017)
Alexey Ignatiev, António Morgado, João Marques-Silva
Propositional Abduction with Implicit Hitting Sets. CoRR (2016)
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
Maximal falsifiability. AI Commun. 29 (2) (2016)
Alexey Ignatiev, António Morgado, João Marques-Silva
Propositional Abduction with Implicit Hitting Sets. ECAI (2016)
João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado
Efficient Model Based Diagnosis with Maximum Satisfiability. IJCAI (2015)
Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva
Prime Compilation of Non-Clausal Formulae. IJCAI (2015)
Federico Heras, António Morgado, João Marques-Silva
MaxSAT-based encodings for Group MaxSAT. AI Commun. 28 (2) (2015)
Alexey Ignatiev, António Morgado, João Marques-Silva
On Reducing Maximum Independent Set to Minimum Satisfiability. SAT (2014)
João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce
Efficient Autarkies. ECAI (2014)
Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva
Progression in Maximum Satisfiability. ECAI (2014)
António Morgado, Alexey Ignatiev, João Marques-Silva
MSCG: Robust Core-Guided MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
António Morgado, Carmine Dodaro, João Marques-Silva
Core-Guided MaxSAT with Soft Cardinality Constraints. CP (2014)
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
Maximal Falsifiability - Definitions, Algorithms, and Applications. LPAR (2013)
Anton Belov, António Morgado, João Marques-Silva
SAT-based Preprocessing for MaxSAT (extended version). CoRR (2013)
António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva
Iterative and core-guided MaxSAT solving: A survey and assessment. Constraints An Int. J. 18 (4) (2013)
António Morgado, Federico Heras, João Marques-Silva
Model-Guided Approaches for MaxSAT Solving. ICTAI (2013)
Anton Belov, António Morgado, João Marques-Silva
SAT-Based Preprocessing for MaxSAT. LPAR (2013)
Federico Heras, António Morgado, João Marques-Silva
An Empirical Study of Encodings for Group MaxSAT. Canadian Conference on AI (2012)
António Morgado, Federico Heras, João Marques-Silva
Improvements to Core-Guided Binary Search for MaxSAT. SAT (2012)
Federico Heras, António Morgado, Jordi Planes, João P. Marques Silva
Iterative SAT Solving for Minimum Satisfiability. ICTAI (2012)
Federico Heras, António Morgado, João Marques-Silva
Lower Bounds and Upper Bounds for MaxSAT. LION (2012)
António Morgado, Mark H. Liffiton, João Marques-Silva
MaxSAT-Based MCS Enumeration. Haifa Verification Conference (2012)
António Morgado, João Marques-Silva
On Validating Boolean Optimizers. ICTAI (2011)
António Morgado, João Marques-Silva
On Validating Boolean Optimizers CoRR (2011)
Federico Heras, António Morgado, João Marques-Silva
Core-Guided Binary Search Algorithms for Maximum Satisfiability. AAAI (2011)
António Morgado, João Marques-Silva
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. Fundam. Informaticae 102 (3-4) (2010)
António Morgado, João P. Marques Silva
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem CoRR (2008)
António Morgado, João Marques-Silva
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. RCRA (2008)
António Morgado, Paulo J. Matos, Vasco M. Manquinho, João P. Marques Silva
Counting Models in Integer Domains. SAT (2006)
António Morgado, João P. Marques Silva
Good Learning and Implicit Model Enumeration. ICTAI (2005)
António Morgado, Atílio Gameiro, José J. G. Fernandes
Constrained space-time zero-forcing pre-equalizer for the downlink channel of UMTS-TDD. PIMRC (2002)
António Morgado, Pedro Pinho, Atílio Gameiro, José J. G. Fernandes
Pre-equalization technique for interference cancellation in the UMTS-TDD downlink channel. VTC Fall (2001)