![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
António Morgado 0001
Person information
- affiliation: INESC-ID, Lisboa, Portugal
Other persons with the same name
- António Morgado 0002
(aka: António J. Morgado) — Universidade de Aveiro, Instituto de Telecomunicações, Aveiro, Portugal
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i11]Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva:
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. CoRR abs/2405.08297 (2024) - 2023
- [j8]Mikolás Janota, António Morgado
, Petr Vojtechovský:
Computing generating sets of minimal size in finite algebras. J. Symb. Comput. 119: 50-63 (2023) - [c33]Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado
, José Fragoso Santos
:
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. ISSTA 2023: 1499-1502 - [c32]Xuanxiang Huang
, Martin C. Cooper
, António Morgado
, Jordi Planes
, João Marques-Silva:
Feature Necessity & Relevancy in ML Classifier Explanations. TACAS (1) 2023: 167-186 - [i10]Ramón Béjar, António Morgado, Jordi Planes, João Marques-Silva:
On Logic-Based Explainability with Partially Specified Inputs. CoRR abs/2306.15803 (2023) - 2022
- [c31]Filipe Marques
, António Morgado, José Fragoso Santos
, Mikolás Janota:
TestSelector: Automatic Test Suite Selection for Student Projects. RV 2022: 283-292 - [i9]Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota:
TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version. CoRR abs/2207.09509 (2022) - [i8]Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva:
Feature Necessity & Relevancy in ML Classifier Explanations. CoRR abs/2210.15675 (2022) - 2021
- [j7]Maria Luisa Bonet, Sam Buss, Alexey Ignatiev
, António Morgado
, João Marques-Silva:
Propositional proof systems based on maximum satisfiability. Artif. Intell. 300: 103552 (2021) - [c30]Mikolás Janota, António Morgado, José Fragoso Santos
, Vasco M. Manquinho
:
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. CP 2021: 31:1-31:16 - 2020
- [c29]Mikolás Janota
, António Morgado
:
SAT-Based Encodings for Optimal Decision Trees with Explicit Paths. SAT 2020: 501-518
2010 – 2019
- 2019
- [j6]Alexey Ignatiev, António Morgado, João Marques-Silva:
RC2: an Efficient MaxSAT Solver. J. Satisf. Boolean Model. Comput. 11(1): 53-64 (2019) - [c28]Alexey Ignatiev
, António Morgado, Georg Weissenbacher
, João Marques-Silva:
Model-Based Diagnosis with Multiple Observations. IJCAI 2019: 1108-1115 - [c27]Ilya Zakirzyanov, António Morgado
, Alexey Ignatiev
, Vladimir Ulyantsev
, João Marques-Silva:
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. LATA 2019: 159-173 - [c26]António Morgado
, Alexey Ignatiev
, Maria Luisa Bonet, João Marques-Silva, Sam Buss:
DRMaxSAT with MaxHS: First Contact. SAT 2019: 239-249 - 2018
- [c25]Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado:
MaxSAT Resolution With the Dual Rail Encoding. AAAI 2018: 6565-6572 - [c24]Alexey Ignatiev
, António Morgado
, João Marques-Silva:
PySAT: A Python Toolkit for Prototyping with SAT Oracles. SAT 2018: 428-437 - 2017
- [c23]João Marques-Silva, Alexey Ignatiev
, António Morgado
:
Horn Maximum Satisfiability: Reductions, Algorithms and Applications. EPIA 2017: 681-694 - [c22]Alexey Ignatiev, António Morgado, João Marques-Silva:
Cardinality Encodings for Graph Optimization Problems. IJCAI 2017: 652-658 - [c21]Alexey Ignatiev
, António Morgado
, João Marques-Silva:
On Tackling the Limits of Resolution in SAT Solving. SAT 2017: 164-183 - [i7]Alexey Ignatiev, António Morgado, João Marques-Silva:
On Tackling the Limits of Resolution in SAT Solving. CoRR abs/1705.01477 (2017) - [i6]João Marques-Silva, Alexey Ignatiev, António Morgado:
Horn Maximum Satisfiability: Reductions, Algorithms & Applications. CoRR abs/1705.05335 (2017) - [i5]Alexey Ignatiev, António Morgado, João Marques-Silva:
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. CoRR abs/1707.01972 (2017) - 2016
- [j5]Alexey Ignatiev
, António Morgado
, Jordi Planes
, João Marques-Silva:
Maximal falsifiability. AI Commun. 29(2): 351-370 (2016) - [c20]Alexey Ignatiev
, António Morgado
, João Marques-Silva:
Propositional Abduction with Implicit Hitting Sets. ECAI 2016: 1327-1335 - [i4]Alexey Ignatiev, António Morgado, João Marques-Silva:
Propositional Abduction with Implicit Hitting Sets. CoRR abs/1604.08229 (2016) - 2015
- [j4]Federico Heras, António Morgado
, João Marques-Silva:
MaxSAT-based encodings for Group MaxSAT. AI Commun. 28(2): 195-214 (2015) - [c19]João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado:
Efficient Model Based Diagnosis with Maximum Satisfiability. IJCAI 2015: 1966-1972 - [c18]Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva:
Prime Compilation of Non-Clausal Formulae. IJCAI 2015: 1980-1988 - 2014
- [j3]António Morgado, Alexey Ignatiev, João Marques-Silva:
MSCG: Robust Core-Guided MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9(1): 129-134 (2014) - [c17]António Morgado
, Carmine Dodaro
, João Marques-Silva:
Core-Guided MaxSAT with Soft Cardinality Constraints. CP 2014: 564-573 - [c16]Alexey Ignatiev
, António Morgado
, Vasco M. Manquinho
, Inês Lynce
, João Marques-Silva:
Progression in Maximum Satisfiability. ECAI 2014: 453-458 - [c15]João Marques-Silva, Alexey Ignatiev
, António Morgado
, Vasco M. Manquinho
, Inês Lynce
:
Efficient Autarkies. ECAI 2014: 603-608 - [c14]Alexey Ignatiev
, António Morgado
, João Marques-Silva:
On Reducing Maximum Independent Set to Minimum Satisfiability. SAT 2014: 103-120 - 2013
- [j2]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): 478-534 (2013) - [c13]António Morgado
, Federico Heras, João Marques-Silva:
Model-Guided Approaches for MaxSAT Solving. ICTAI 2013: 931-938 - [c12]Anton Belov, António Morgado
, João Marques-Silva:
SAT-Based Preprocessing for MaxSAT. LPAR 2013: 96-111 - [c11]Alexey Ignatiev
, António Morgado
, Jordi Planes
, João Marques-Silva:
Maximal Falsifiability - Definitions, Algorithms, and Applications. LPAR 2013: 439-456 - [i3]Anton Belov, António Morgado, João Marques-Silva:
SAT-based Preprocessing for MaxSAT (extended version). CoRR abs/1310.2298 (2013) - 2012
- [c10]Federico Heras, António Morgado
, João Marques-Silva
:
An Empirical Study of Encodings for Group MaxSAT. Canadian AI 2012: 85-96 - [c9]António Morgado, Mark H. Liffiton, João Marques-Silva:
MaxSAT-Based MCS Enumeration. Haifa Verification Conference 2012: 86-101 - [c8]Federico Heras, António Morgado
, Jordi Planes
, João Marques-Silva
:
Iterative SAT Solving for Minimum Satisfiability. ICTAI 2012: 922-927 - [c7]Federico Heras, António Morgado
, João Marques-Silva
:
Lower Bounds and Upper Bounds for MaxSAT. LION 2012: 402-407 - [c6]António Morgado
, Federico Heras, João Marques-Silva
:
Improvements to Core-Guided Binary Search for MaxSAT. SAT 2012: 284-297 - 2011
- [c5]Federico Heras, António Morgado, João Marques-Silva:
Core-Guided Binary Search Algorithms for Maximum Satisfiability. AAAI 2011: 36-41 - [c4]António Morgado
, João Marques-Silva
:
On Validating Boolean Optimizers. ICTAI 2011: 924-926 - [i2]António Morgado, João Marques-Silva:
On Validating Boolean Optimizers. CoRR abs/1109.2752 (2011) - 2010
- [j1]António Morgado
, João Marques-Silva
:
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. Fundam. Informaticae 102(3-4): 363-389 (2010)
2000 – 2009
- 2008
- [c3]António Morgado, João Marques-Silva:
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. RCRA 2008 - [i1]António Morgado, João Marques-Silva:
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem. CoRR abs/0805.0202 (2008) - 2006
- [c2]António Morgado, Paulo J. Matos, Vasco M. Manquinho, João Marques-Silva:
Counting Models in Integer Domains. SAT 2006: 410-423 - 2005
- [c1]António Morgado
, João Marques-Silva
:
Good Learning and Implicit Model Enumeration. ICTAI 2005: 131-136
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint