Josep Alòs

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Induction Algorithms

Maximum Satisfiability

Top Venues

Artif. Intell. Rev.

Publications

Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
Exploiting Configurations of MaxSAT Solvers. CP (2023)
Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
Exploiting Configurations of MaxSAT Solvers. CoRR (2023)
Josep Alòs, Carlos Ansótegui, Eduard Torres
Interpretable decision trees through MaxSAT. Artif. Intell. Rev. 56 (8) (2023)