Josep Pon

dblp:195/8236 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2021 OptiLog: A Framework for SAT-based Systems
Carlos Ansótegui, Jesus Ojeda, António Pacheco 0004, Josep Pon, Josep M. Salvia, Eduard Torres
SAT4
2021 PyDGGA: Distributed GGA for Automatic Configuration
Carlos Ansótegui, Josep Pon, Meinolf Sellmann, Kevin Tierney
SAT2
2017 Reactive Dialectic Search Portfolios for MaxSAT
abstract
Metaheuristics 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
AAAI2