Eduard Torres

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 11

Top Topics

Covering Arrays

Maximum Satisfiability

Top Venues

Artif. Intell. Rev.

Publications

Carlos Ansótegui, Eduard Torres
Effectively computing high strength mixed covering arrays with constraints. J. Parallel Distributed Comput. 185 (2024)
Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
Exploiting Configurations of MaxSAT Solvers. CP (2023)
Carlos Ansótegui, Eduard Torres
A Benchmark Generator for Combinatorial Testing. CoRR (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)
Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres
Incomplete MaxSAT approaches for combinatorial testing. J. Heuristics 28 (4) (2022)
Josep Alos, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
OptiLog V2: Model, Solve, Tune and Run. SAT (2022)
Carlos Ansótegui, Jesus Ojeda, António Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres
OptiLog: A Framework for SAT-based Systems. SAT (2021)
Josep Alos, Carlos Ansótegui, Eduard Torres
Learning Optimal Decision Trees Using MaxSAT. CoRR (2021)
Carlos Ansótegui, Jesus Ojeda, Eduard Torres
Building High Strength Mixed Covering Arrays with Constraints. CP (2021)
Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres
Incomplete MaxSAT Approaches for Combinatorial Testing. CoRR (2021)