Josep M. Salvia

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

Collaborative distances:

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

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

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

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