Antonio Morgado

MaRDI QIDQ1656600zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Feature necessity and relevancy in machine learning explanations Journal of Automated Reasoning	2026-03-31	Paper
Feature necessity \& relevancy in ML classifier explanations	2023-12-13	Paper
Computing generating sets of minimal size in finite algebras Journal of Symbolic Computation	2023-06-29	Paper
RC2: an efficient MaxSAT solver Journal on Satisfiability, Boolean Modeling and Computation	2021-12-09	Paper
Propositional proof systems based on maximum satisfiability Artificial Intelligence	2021-11-02	Paper
SAT-based encodings for optimal decision trees with explicit paths	2021-04-07	Paper
DRMaxSAT with MaxHS: first contact	2020-05-20	Paper
Efficient symmetry breaking for SAT-based minimum DFA inference	2019-12-04	Paper
PySAT: a Python toolkit for prototyping with SAT oracles	2018-08-10	Paper
On tackling the limits of resolution in SAT solving (available as arXiv preprint)	2017-11-15	Paper
Maximal falsifiability. Definitions, algorithms and applications AI Communications	2017-11-08	Paper
MaxSAT-based encodings for Group MaxSAT AI Communications	2017-11-07	Paper
Progression in maximum satisfiability	2017-07-18	Paper
Iterative and core-guided maxsat solving: a survey and assessment Constraints	2015-06-15	Paper
On reducing maximum independent set to minimum satisfiability Lecture Notes in Computer Science	2014-09-26	Paper
SAT-based preprocessing for MaxSAT Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Maximal falsifiability. Definitions, algorithms, and applications Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Improvements to core-guided binary search for MaxSAT Theory and Applications of Satisfiability Testing – SAT 2012	2013-08-12	Paper
Combinatorial optimization solutions for the maximum quartet consistency problem	2011-06-10	Paper
Counting Models in Integer Domains Lecture Notes in Computer Science	2007-09-04	Paper

Research outcomes over time

This page was built for person: Antonio Morgado