Antonio Morgado

Available identifiers

Publication	Date of Publication	Type
Feature necessity \& relevancy in ML classifier explanations	2023-12-13	Paper
Computing generating sets of minimal size in finite algebras	2023-06-29	Paper
RC2: an efficient MaxSAT solver	2021-12-09	Paper
Propositional proof systems based on maximum satisfiability	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	2017-11-15	Paper
Maximal falsifiability. Definitions, algorithms and applications	2017-11-08	Paper
MaxSAT-based encodings for Group MaxSAT	2017-11-07	Paper
Progression in maximum satisfiability	2017-07-18	Paper
Iterative and core-guided maxsat solving: a survey and assessment	2015-06-15	Paper
On reducing maximum independent set to minimum satisfiability	2014-09-26	Paper
SAT-based preprocessing for MaxSAT	2014-01-17	Paper
Maximal falsifiability. Definitions, algorithms, and applications	2014-01-17	Paper
Improvements to core-guided binary search for MaxSAT	2013-08-12	Paper
Combinatorial optimization solutions for the maximum quartet consistency problem	2011-06-10	Paper
Counting Models in Integer Domains	2007-09-04	Paper

This page was built for person: Antonio Morgado