Josep M. Salvia

dblp:293/8016 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
3since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 3 since 2021Theory of computation · 2 · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
YearPublicationVenuePosition
2023 Exploiting Configurations of MaxSAT Solvers
abstract
In this paper, we describe how we can effectively exploit alternative parameter configurations to a MaxSAT solver. We describe how these configurations can be computed in the context of MaxSAT. In particular, we experimentally show how to easily combine configurations of a non-competitive solver to obtain a better solving approach.
Josep Alos, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
CP3
2022 OptiLog V2: Model, Solve, Tune and Run
Josep Alos, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
SAT3
2021 OptiLog: A Framework for SAT-based Systems
Carlos Ansótegui, Jesus Ojeda, António Pacheco 0004, Josep Pon, Josep M. Salvia, Eduard Torres
SAT5