Josep M. Salvia

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Machine Learning

Stochastic Model

Maximum Satisfiability

Top Venues

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)
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)
Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres
Incomplete MaxSAT Approaches for Combinatorial Testing. CoRR (2021)