Eduard Torres

13 papers A 4Journal 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences.
J. Artif. Intell. Res.
Josep Alòs, Carlos Ansótegui, Eduard Torres
2024 J jnl
Effectively computing high strength mixed covering arrays with constraints.
J. Parallel Distributed Comput.
Carlos Ansótegui, Eduard Torres
2023 J jnl
A Benchmark Generator for Combinatorial Testing.
CoRR
Carlos Ansótegui, Eduard Torres
2023 A conf
Exploiting Configurations of MaxSAT Solvers.
CP
Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
2023 J jnl
Exploiting Configurations of MaxSAT Solvers.
CoRR
Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
2023 J jnl
Interpretable decision trees through MaxSAT.
Artif. Intell. Rev.
Josep Alòs, Carlos Ansótegui, Eduard Torres
2022 J jnl
Incomplete MaxSAT approaches for combinatorial testing.
J. Heuristics
Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres
2022 A conf
OptiLog V2: Model, Solve, Tune and Run.
SAT
Josep Alos, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
2022 — —
SAT-Based Combinatorial Testing
Eduard Torres
2021 A conf
Building High Strength Mixed Covering Arrays with Constraints.
CP
Carlos Ansótegui, Jesus Ojeda, Eduard Torres
2021 J jnl
Incomplete MaxSAT Approaches for Combinatorial Testing.
CoRR
Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres
2021 J jnl
Learning Optimal Decision Trees Using MaxSAT.
CoRR
Josep Alos, Carlos Ansótegui, Eduard Torres
2021 A conf
OptiLog: A Framework for SAT-based Systems.
SAT
Carlos Ansótegui, Jesus Ojeda, António Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres