research
∙
06/18/2021
Boolean Matrix Factorization with SAT and MaxSAT
The Boolean matrix factorization problem consists in approximating a mat...
share
research
∙
10/26/2020
An Approach to Evaluating Learning Algorithms for Decision Trees
Learning algorithms produce software models for realising critical class...
research
∙
04/12/2019
Learning Optimal Decision Trees from Large Datasets
Inferring a decision tree from a given dataset is one of the classic pro...
research
∙
11/27/2018
