Publications

Articles

International Journal Articles: 1

2019

- Alexey Ignatiev and António José dos Reis Morgado and Joao Marques-Silva, {RC2:} an Efficient MaxSAT Solver, article in Journal on Satisfiability, Boolean Modeling and Computation vol. 11 (1) pp. 53--64, to appear on 2019 [DOI Article link] [bibTex]

International Conferences: 6

2021

- Mikolas Janota and António José dos Reis Morgado and José Santos and Vasco Manquinho, The Seesaw Algorithm: Function Optimization using Implicit Hitting Sets, presented at International Conference on Principles and Practice of Constraint Programming, Aug. 2021 [bibTex]

2020

- Mikolas Janota and António José dos Reis Morgado, SAT-Based Encodings for Optimal Decision Trees with Explicit Paths., presented at Theory and Applications of Satisfiability Testing - {SAT} 2020, Jul. 2020 [DOI Article link] [bibTex]

2019

- Alexey Ignatiev and António José dos Reis Morgado and Georg Weissenbacher and Joao Marques-Silva, Model-Based Diagnosis with Multiple Observations, presented at International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Aug. 2019 [DOI Article link] [bibTex]
- António José dos Reis Morgado and Alexey Ignatiev and Maria Luisa Bonet and Joao Marques-Silva and Sam Buss, DRMaxSAT with MaxHS: First Contact, presented at Theory and Applications of Satisfiability Testing, Jul. 2019 [DOI Article link] [bibTex]
- António José dos Reis Morgado and Alexey Ignatiev and Maria Luisa Bonet and Joao Marques-Silva and Sam Buss, DRMaxSAT with MaxHS: First Contact, presented at Theory and Applications of Satisfiability Testing, Jul. 2019 [DOI Article link] [bibTex]
- Ilya Zakirzyanov and António José dos Reis Morgado and Alexey Ignatiev and Vladimir Ulyantsev and Joao Marques-Silva, Efficient Symmetry Breaking for SAT-Based Minimum {DFA} Inference, presented at International Conference Language and Automata Theory and Applications, Mar. 2019 [DOI Article link] [bibTex]