Publications

Articles

International Conferences: 1

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]

Dissertations

MSc Theses: 1

2019

- Ricardo António Moreira Pereira advised by Mikolas Janota and Vasco Manquinho, New Language for Program Test Generation, MSc Thesis, Nov. 2019 [bibTex]