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]