Eduard Torres

According to our database, Eduard Torres authored at least 10 papers between 2021 and 2024.

Collaborative distances:

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

2024

Effectively computing high strength mixed covering arrays with constraints.

Carlos Ansótegui, Eduard Torres

J. Parallel Distributed Comput., March, 2024

2023

A Benchmark Generator for Combinatorial Testing.

Carlos Ansótegui, Eduard Torres

CoRR, 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

SAT-Based Combinatorial Testing

Eduard Torres

PhD thesis, 2022

Incomplete MaxSAT approaches for combinatorial testing.

Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres

J. Heuristics, 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

OptiLog: A Framework for SAT-based Systems.

Carlos Ansótegui, Jesus Ojeda, António Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Building High Strength Mixed Covering Arrays with Constraints.

Carlos Ansótegui, Jesus Ojeda, Eduard Torres

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021