4 citations · 4 across the 2 of their papers we have counts for
4 papers
Boolean Matrix Factorization with SAT and MaxSAT
Florent Avellaneda, Roger Villemaire
The Boolean matrix factorization problem consists in approximating a matrix by the Boolean product of two smaller Boolean matrices. To obtain optimal solutions when the matrices to…
An Approach to Evaluating Learning Algorithms for Decision Trees
Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda +2
Learning algorithms produce software models for realising critical classification tasks. Decision trees models are simpler than other models such as neural network and they are use…
Learning Optimal Decision Trees from Large Datasets
Florent Avellaneda
Inferring a decision tree from a given dataset is one of the classic problems in machine learning. This problem consists of buildings, from a labelled dataset, a tree such that eac…
Fault Detection for Timed FSM with Timeouts by Constraint Solving
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
Recently, an efficient constraint solving-based approach has been developed to detect logical faults in systems specified with classical finite state machines (FSMs). The approach…