António Morgado

55 papers A* 7A 13B 7C 1Misc 1Journal 20Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Feature Necessity and Relevancy in Machine Learning Explanations.
J. Autom. Reason.
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2024 — conf
Checking Robustness of Neural Network Models for the Classification of Malware.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar, António Morgado, Jordi Planes
2024 A* conf
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation.
KR
Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
2024 J jnl
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation.
CoRR
Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
2023 J jnl
Computing generating sets of minimal size in finite algebras.
J. Symb. Comput.
Mikolás Janota, António Morgado, Petr Vojtechovský
2023 — conf
Feature Necessity & Relevancy in ML Classifier Explanations.
TACAS (1)
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2023 A conf
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations.
ISSTA
Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos
2023 J jnl
On Logic-Based Explainability with Partially Specified Inputs.
CoRR
Ramón Béjar, António Morgado, Jordi Planes, João Marques-Silva
2022 J jnl
Feature Necessity & Relevancy in ML Classifier Explanations.
CoRR
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2022 J jnl
TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version.
CoRR
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
2022 B conf
TestSelector: Automatic Test Suite Selection for Student Projects.
RV
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
2021 J jnl
Propositional proof systems based on maximum satisfiability.
Artif. Intell.
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, António Morgado, João Marques-Silva
2021 A conf
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets.
CP
Mikolás Janota, António Morgado, José Fragoso Santos, Vasco Manquinho
2020 A conf
SAT-Based Encodings for Optimal Decision Trees with Explicit Paths.
SAT
Mikolás Janota, António Morgado
2019 A conf
DRMaxSAT with MaxHS: First Contact.
SAT
António Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss
2019 C conf
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference.
LATA
Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva
2019 A* conf
Model-Based Diagnosis with Multiple Observations.
IJCAI
Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva
2019 J jnl
RC2: an Efficient MaxSAT Solver.
J. Satisf. Boolean Model. Comput.
Alexey Ignatiev, António Morgado, João Marques-Silva
2018 A* conf
MaxSAT Resolution With the Dual Rail Encoding.
AAAI
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado
2018 A conf
PySAT: A Python Toolkit for Prototyping with SAT Oracles.
SAT
Alexey Ignatiev, António Morgado, João Marques-Silva
2017 A* conf
Cardinality Encodings for Graph Optimization Problems.
IJCAI
Alexey Ignatiev, António Morgado, João Marques-Silva
2017 J jnl
Horn Maximum Satisfiability: Reductions, Algorithms & Applications.
CoRR
João Marques-Silva, Alexey Ignatiev, António Morgado
2017 Misc conf
Horn Maximum Satisfiability: Reductions, Algorithms and Applications.
EPIA
João Marques-Silva, Alexey Ignatiev, António Morgado
2017 J jnl
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets.
CoRR
Alexey Ignatiev, António Morgado, João Marques-Silva
2017 A conf
On Tackling the Limits of Resolution in SAT Solving.
SAT
Alexey Ignatiev, António Morgado, João Marques-Silva
2017 J jnl
On Tackling the Limits of Resolution in SAT Solving.
CoRR
Alexey Ignatiev, António Morgado, João Marques-Silva
2016 J jnl
Maximal falsifiability.
AI Commun.
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
2016 A conf
Propositional Abduction with Implicit Hitting Sets.
ECAI
Alexey Ignatiev, António Morgado, João Marques-Silva
2016 J jnl
Propositional Abduction with Implicit Hitting Sets.
CoRR
Alexey Ignatiev, António Morgado, João Marques-Silva
2015 A* conf
Efficient Model Based Diagnosis with Maximum Satisfiability.
IJCAI
João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado
2015 J jnl
MaxSAT-based encodings for Group MaxSAT.
AI Commun.
Federico Heras, António Morgado, João Marques-Silva
2015 A* conf
Prime Compilation of Non-Clausal Formulae.
IJCAI
Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva
2014 A conf
Core-Guided MaxSAT with Soft Cardinality Constraints.
CP
António Morgado, Carmine Dodaro, João Marques-Silva
2014 A conf
Efficient Autarkies.
ECAI
João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce
2014 J jnl
MSCG: Robust Core-Guided MaxSAT Solving.
J. Satisf. Boolean Model. Comput.
António Morgado, Alexey Ignatiev, João Marques-Silva
2014 A conf
On Reducing Maximum Independent Set to Minimum Satisfiability.
SAT
Alexey Ignatiev, António Morgado, João Marques-Silva
2014 A conf
Progression in Maximum Satisfiability.
ECAI
Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce, João Marques-Silva
2013 J jnl
Iterative and core-guided MaxSAT solving: A survey and assessment.
Constraints An Int. J.
António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva
2013 B conf
Maximal Falsifiability - Definitions, Algorithms, and Applications.
LPAR
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
2013 B conf
Model-Guided Approaches for MaxSAT Solving.
ICTAI
António Morgado, Federico Heras, João Marques-Silva
2013 B conf
SAT-Based Preprocessing for MaxSAT.
LPAR
Anton Belov, António Morgado, João Marques-Silva
2013 J jnl
SAT-based Preprocessing for MaxSAT (extended version).
CoRR
Anton Belov, António Morgado, João Marques-Silva
2012 — conf
An Empirical Study of Encodings for Group MaxSAT.
Canadian AI
Federico Heras, António Morgado, João Marques-Silva
2012 A conf
Improvements to Core-Guided Binary Search for MaxSAT.
SAT
António Morgado, Federico Heras, João Marques-Silva
2012 B conf
Iterative SAT Solving for Minimum Satisfiability.
ICTAI
Federico Heras, António Morgado, Jordi Planes, João Marques-Silva
2012 — conf
Lower Bounds and Upper Bounds for MaxSAT.
LION
Federico Heras, António Morgado, João Marques-Silva
2012 — conf
MaxSAT-Based MCS Enumeration.
Haifa Verification Conference
António Morgado, Mark H. Liffiton, João Marques-Silva
2011 A* conf
Core-Guided Binary Search Algorithms for Maximum Satisfiability.
AAAI
Federico Heras, António Morgado, João Marques-Silva
2011 J jnl
On Validating Boolean Optimizers
CoRR
António Morgado, João Marques-Silva
2011 B conf
On Validating Boolean Optimizers.
ICTAI
António Morgado, João Marques-Silva
2010 J jnl
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem.
Fundam. Informaticae
António Morgado, João Marques-Silva
2008 J jnl
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
CoRR
António Morgado, João Marques-Silva
2008 — conf
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem.
RCRA
António Morgado, João Marques-Silva
2006 A conf
Counting Models in Integer Domains.
SAT
António Morgado, Paulo J. Matos, Vasco Manquinho, João Marques-Silva
2005 B conf
Good Learning and Implicit Model Enumeration.
ICTAI
António Morgado, João Marques-Silva