Good Learning and Implicit Model Enumeration. - António Morgado 001; João Marques-Silva 001 (ICTAI, 2005)

Counting Models in Integer Domains. - António Morgado 001; Paulo J. Matos; Vasco Manquinho; João Marques-Silva 001 (SAT, 2006)

A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem - António Morgado 001; João Marques-Silva 001 (CoRR, 2008)

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. - António Morgado 001; João Marques-Silva 001 (Fundam. Informaticae, 2010)

Core-Guided Binary Search Algorithms for Maximum Satisfiability. - Federico Heras; António Morgado 001; João Marques-Silva 001 (AAAI, 2011)

On Validating Boolean Optimizers. - António Morgado 001; João Marques-Silva 001 (ICTAI, 2011)

An Empirical Study of Encodings for Group MaxSAT. - Federico Heras; António Morgado 001; João Marques-Silva 001 (Canadian AI, 2012)

MaxSAT-Based MCS Enumeration. - António Morgado 001; Mark H. Liffiton; João Marques-Silva 001 (Haifa Verification Conference, 2012)

Iterative SAT Solving for Minimum Satisfiability. - Federico Heras; António Morgado 001; Jordi Planes; João Marques-Silva 001 (ICTAI, 2012)

Lower Bounds and Upper Bounds for MaxSAT. - Federico Heras; António Morgado 001; João Marques-Silva 001 (LION, 2012)

Improvements to Core-Guided Binary Search for MaxSAT. - António Morgado 001; Federico Heras; João Marques-Silva 001 (SAT, 2012)

Model-Guided Approaches for MaxSAT Solving. - António Morgado 001; Federico Heras; João Marques-Silva 001 (ICTAI, 2013)

SAT-Based Preprocessing for MaxSAT. - Anton Belov; António Morgado 001; João Marques-Silva 001 (LPAR, 2013)

Maximal Falsifiability - Definitions, Algorithms, and Applications. - Alexey Ignatiev; António Morgado 001; Jordi Planes; João Marques-Silva 001 (LPAR, 2013)

Iterative and core-guided MaxSAT solving: A survey and assessment. - António Morgado 001; Federico Heras; Mark H. Liffiton; Jordi Planes; João Marques-Silva 001 (Constraints An Int. J., 2013)

SAT-based Preprocessing for MaxSAT (extended version). - Anton Belov; António Morgado 001; João Marques-Silva 001 (CoRR, 2013)

Core-Guided MaxSAT with Soft Cardinality Constraints. - António Morgado 001; Carmine Dodaro; João Marques-Silva 001 (CP, 2014)

Progression in Maximum Satisfiability. - Alexey Ignatiev; António Morgado 001; Vasco Manquinho; Inês Lynce; João Marques-Silva 001 (ECAI, 2014)

Efficient Autarkies. - João Marques-Silva 001; Alexey Ignatiev; António Morgado 001; Vasco Manquinho; Inês Lynce (ECAI, 2014)

On Reducing Maximum Independent Set to Minimum Satisfiability. - Alexey Ignatiev; António Morgado 001; João Marques-Silva 001 (SAT, 2014)

MSCG: Robust Core-Guided MaxSAT Solving. - António Morgado 001; Alexey Ignatiev; João Marques-Silva 001 (J. Satisf. Boolean Model. Comput., 2014)

Efficient Model Based Diagnosis with Maximum Satisfiability. - João Marques-Silva 001; Mikolás Janota; Alexey Ignatiev; António Morgado 001 (IJCAI, 2015)

Prime Compilation of Non-Clausal Formulae. - Alessandro Previti; Alexey Ignatiev; António Morgado 001; João Marques-Silva 001 (IJCAI, 2015)

MaxSAT-based encodings for Group MaxSAT. - Federico Heras; António Morgado 001; João Marques-Silva 001 (AI Commun., 2015)

Propositional Abduction with Implicit Hitting Sets. - Alexey Ignatiev; António Morgado 001; João Marques-Silva 001 (ECAI, 2016)

Maximal falsifiability. - Alexey Ignatiev; António Morgado 001; Jordi Planes; João Marques-Silva 001 (AI Commun., 2016)

Horn Maximum Satisfiability: Reductions, Algorithms and Applications. - João Marques-Silva 001; Alexey Ignatiev; António Morgado 001 (EPIA, 2017)

Cardinality Encodings for Graph Optimization Problems. - Alexey Ignatiev; António Morgado 001; João Marques-Silva 001 (IJCAI, 2017)

On Tackling the Limits of Resolution in SAT Solving. - Alexey Ignatiev; António Morgado 001; João Marques-Silva 001 (SAT, 2017)

Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. - Alexey Ignatiev; António Morgado 001; João Marques-Silva 001 (CoRR, 2017)

Horn Maximum Satisfiability: Reductions, Algorithms & Applications. - João Marques-Silva 001; Alexey Ignatiev; António Morgado 001 (CoRR, 2017)

MaxSAT Resolution With the Dual Rail Encoding. - Maria Luisa Bonet; Sam Buss; Alexey Ignatiev; João Marques-Silva 001; António Morgado 001 (AAAI, 2018)

PySAT: A Python Toolkit for Prototyping with SAT Oracles. - Alexey Ignatiev; António Morgado 001; João Marques-Silva 001 (SAT, 2018)

Model-Based Diagnosis with Multiple Observations. - Alexey Ignatiev; António Morgado 001; Georg Weissenbacher; João Marques-Silva 001 (IJCAI, 2019)

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. - Ilya Zakirzyanov; António Morgado 001; Alexey Ignatiev; Vladimir Ulyantsev; João Marques-Silva 001 (LATA, 2019)

DRMaxSAT with MaxHS: First Contact. - António Morgado 001; Alexey Ignatiev; Maria Luisa Bonet; João Marques-Silva 001; Sam Buss (SAT, 2019)

RC2: an Efficient MaxSAT Solver. - Alexey Ignatiev; António Morgado 001; João Marques-Silva 001 (J. Satisf. Boolean Model. Comput., 2019)

SAT-Based Encodings for Optimal Decision Trees with Explicit Paths. - Mikolás Janota; António Morgado 001 (SAT, 2020)

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. - Mikolás Janota; António Morgado 001; José Fragoso Santos; Vasco Manquinho (CP, 2021)

Propositional proof systems based on maximum satisfiability. - Maria Luisa Bonet; Sam Buss; Alexey Ignatiev; António Morgado 001; João Marques-Silva 001 (Artif. Intell., 2021)

TestSelector: Automatic Test Suite Selection for Student Projects. - Filipe Marques; António Morgado 001; José Fragoso Santos; Mikolás Janota (RV, 2022)

TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version. - Filipe Marques; António Morgado 001; José Fragoso Santos; Mikolás Janota (CoRR, 2022)

MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. - Frederico Ramos; Diogo Costa Reis; Miguel Trigo; António Morgado 001; José Fragoso Santos (ISSTA, 2023)

Feature Necessity & Relevancy in ML Classifier Explanations. - Xuanxiang Huang; Martin C. Cooper; António Morgado 001; Jordi Planes; João Marques-Silva 001 (TACAS (1), 2023)

On Logic-Based Explainability with Partially Specified Inputs. - Ramón Béjar; António Morgado 001; Jordi Planes; João Marques-Silva 001 (CoRR, 2023)

Computing generating sets of minimal size in finite algebras. - Mikolás Janota; António Morgado 001; Petr Vojtechovský (J. Symb. Comput., 2023)

Checking Robustness of Neural Network Models for the Classification of Malware. - Teresa Alsinet; Josep Argelich; Ramón Béjar; António Morgado 001; Jordi Planes (CCIA, 2024)

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. - Yacine Izza; Xuanxiang Huang; António Morgado 001; Jordi Planes; Alexey Ignatiev; João Marques-Silva 001 (KR, 2024)