| Learning optimal decision trees with SAT N Narodytska, A Ignatiev, F Pereira, J Marques-Silva International Joint Conference on Artificial Intelligence 2018, 1362-1368, 2018 | 150 | 2018 |
| A SAT-based approach to learn explainable decision sets A Ignatiev, F Pereira, N Narodytska, J Marques-Silva Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 72 | 2018 |
