VLDB 2026 Research / reviewers in the wild / expert
Josep M. Salvia
dblp:293/8016
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Exploiting Configurations of MaxSAT SolversabstractIn 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 |
CP | 3 |
| 2022 | OptiLog V2: Model, Solve, Tune and Run
Josep Alos, Carlos Ansótegui, Josep M. Salvia, Eduard Torres |
SAT | 3 |
| 2021 | OptiLog: A Framework for SAT-based Systems
Carlos Ansótegui, Jesus Ojeda, António Pacheco 0004, Josep Pon, Josep M. Salvia, Eduard Torres |
SAT | 5 |