[IT]
Progetto per l'esame di Ingegneria della Conoscenza
Implementazione dell'articolo "Learning Optimal Decision Trees with SAT", Narodytska et al. (Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pag. 1362-1368, 2018 International Joint Conferences on Artificial Intelligence Organization https://doi.org/10.24963/ijcai.2018/189) realizzato in Python con Google OR-Tools, Microsoft Z3 e Yces 2.
[ENG]
Knowledge Engineering Exam Project
Implementation of Narodytska et al.'s "Learning Optimal Decision Trees with SAT" (Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pag. 1362-1368, 2018 International Joint Conferences on Artificial Intelligence Organization https://doi.org/10.24963/ijcai.2018/189) made in Python with Google OR-Tools, Microsoft Z3 and Yces 2.