Josep Alos

According to our database, Josep Alos authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Interpretable decision trees through MaxSAT.

Josep Alòs, Carlos Ansótegui, Eduard Torres

Artif. Intell. Rev., 2023

Exploiting Configurations of MaxSAT Solvers.

Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

OptiLog V2: Model, Solve, Tune and Run.

Josep Alos, Carlos Ansótegui, Josep M. Salvia, Eduard Torres

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

Learning Optimal Decision Trees Using MaxSAT.

Josep Alos, Carlos Ansótegui, Eduard Torres

CoRR, 2021