António Morgado

According to our database, António Morgado authored at least 46 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Computing generating sets of minimal size in finite algebras.

Mikolás Janota, António Morgado, Petr Vojtechovský

J. Symb. Comput., 2023

On Logic-Based Explainability with Partially Specified Inputs.

Ramón Béjar, António Morgado, Jordi Planes, João Marques-Silva

CoRR, 2023

Feature Necessity & Relevancy in ML Classifier Explanations.

Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations.

Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version.

Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota

CoRR, 2022

TestSelector: Automatic Test Suite Selection for Student Projects.

Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota

Proceedings of the Runtime Verification - 22nd International Conference, 2022

2021

Propositional proof systems based on maximum satisfiability.

Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, António Morgado, João Marques-Silva

Artif. Intell., 2021

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets.

Mikolás Janota, António Morgado, José Fragoso Santos, Vasco M. Manquinho

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

SAT-Based Encodings for Optimal Decision Trees with Explicit Paths.

Mikolás Janota, António Morgado

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2019

RC2: an Efficient MaxSAT Solver.

Alexey Ignatiev, António Morgado, João Marques-Silva

J. Satisf. Boolean Model. Comput., 2019

DRMaxSAT with MaxHS: First Contact.

António Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference.

Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva

Proceedings of the Language and Automata Theory and Applications, 2019

Model-Based Diagnosis with Multiple Observations.

Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

PySAT: A Python Toolkit for Prototyping with SAT Oracles.

Alexey Ignatiev, António Morgado, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

MaxSAT Resolution With the Dual Rail Encoding.

Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Horn Maximum Satisfiability: Reductions, Algorithms & Applications.

João Marques-Silva, Alexey Ignatiev, António Morgado

CoRR, 2017

Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets.

Alexey Ignatiev, António Morgado, João Marques-Silva

CoRR, 2017

On Tackling the Limits of Resolution in SAT Solving.

Alexey Ignatiev, António Morgado, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Cardinality Encodings for Graph Optimization Problems.

Alexey Ignatiev, António Morgado, João Marques-Silva

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Horn Maximum Satisfiability: Reductions, Algorithms and Applications.

João Marques-Silva, Alexey Ignatiev, António Morgado

Proceedings of the Progress in Artificial Intelligence, 2017

2016

Maximal falsifiability.

Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva

AI Commun., 2016

Propositional Abduction with Implicit Hitting Sets.

Alexey Ignatiev, António Morgado, João Marques-Silva

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

MaxSAT-based encodings for Group MaxSAT.

Federico Heras, António Morgado, João Marques-Silva

AI Commun., 2015

Prime Compilation of Non-Clausal Formulae.

Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Efficient Model Based Diagnosis with Maximum Satisfiability.

João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

MSCG: Robust Core-Guided MaxSAT Solving.

António Morgado, Alexey Ignatiev, João Marques-Silva

J. Satisf. Boolean Model. Comput., 2014

On Reducing Maximum Independent Set to Minimum Satisfiability.

Alexey Ignatiev, António Morgado, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Efficient Autarkies.

João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Progression in Maximum Satisfiability.

Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Core-Guided MaxSAT with Soft Cardinality Constraints.

António Morgado, Carmine Dodaro, João Marques-Silva

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

SAT-based Preprocessing for MaxSAT (extended version).

Anton Belov, António Morgado, João Marques-Silva

CoRR, 2013

Iterative and core-guided MaxSAT solving: A survey and assessment.

António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva

Constraints An Int. J., 2013

Maximal Falsifiability - Definitions, Algorithms, and Applications.

Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

SAT-Based Preprocessing for MaxSAT.

Anton Belov, António Morgado, João Marques-Silva

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Model-Guided Approaches for MaxSAT Solving.

António Morgado, Federico Heras, João Marques-Silva

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Improvements to Core-Guided Binary Search for MaxSAT.

António Morgado, Federico Heras, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Lower Bounds and Upper Bounds for MaxSAT.

Federico Heras, António Morgado, João Marques-Silva

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Iterative SAT Solving for Minimum Satisfiability.

Federico Heras, António Morgado, Jordi Planes, João Marques-Silva

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

MaxSAT-Based MCS Enumeration.

António Morgado, Mark H. Liffiton, João Marques-Silva

Proceedings of the Hardware and Software: Verification and Testing, 2012

An Empirical Study of Encodings for Group MaxSAT.

Federico Heras, António Morgado, João Marques-Silva

Proceedings of the Advances in Artificial Intelligence, 2012

2011

On Validating Boolean Optimizers.

António Morgado, João Marques-Silva

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Core-Guided Binary Search Algorithms for Maximum Satisfiability.

Federico Heras, António Morgado, João Marques-Silva

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem.

António Morgado, João Marques-Silva

Fundam. Informaticae, 2010

2008

A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem

António Morgado, João Marques-Silva

CoRR, 2008

2006

Counting Models in Integer Domains.

António Morgado, Paulo J. Matos, Vasco M. Manquinho, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2005

Good Learning and Implicit Model Enumeration.

António Morgado, João Marques-Silva

Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005