VLDB 2026 Research / reviewers in the wild / expert
Josep Pon
dblp:195/8236
· DBLP profile ↗
3ranked-venue papers
0as first author
2since 2021 · last 2021
0000-0002-1212-1577ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 2 since 2021Theory of computation · 2 · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 | 4 |
| 2021 | PyDGGA: Distributed GGA for Automatic Configuration
Carlos Ansótegui, Josep Pon, Meinolf Sellmann, Kevin Tierney |
SAT | 2 |
| 2017 | Reactive Dialectic Search Portfolios for MaxSATabstractMetaheuristics have been developed to provide general purpose approaches for solving hard combinatorial problems. While these frameworks often serve as the starting point for the development of problem-specific search procedures, they very rarely work efficiently in their default state. We combine the ideas of reactive search, which adjusts key parameters during search, and algorithm configuration, which fine-tunes algorithm parameters for a given set of problem instances, for the automatic compilation of a portfolio of highly reactive dialectic search heuristics for MaxSAT. Even though the dialectic search metaheuristic knows nothing more about MaxSAT than how to evaluate the cost of a truth assignment, our automatically generated solver defines a new state of the art for random weighted partial MaxSAT instances. Moreover, when combined with an industrial MaxSAT solver, the self-assembled reactive portfolio was able to win four out of nine gold medals at the recent 2016 MaxSAT Evaluation on random, crafted, and industrial partial and weighted-partial MaxSAT instances. Carlos Ansótegui, Josep Pon, Meinolf Sellmann, Kevin Tierney |
AAAI | 2 |