Josep Pon

According to our database, Josep Pon authored at least 6 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Boosting evolutionary algorithm configuration.

Carlos Ansótegui, Josep Pon, Meinolf Sellmann

Ann. Math. Artif. Intell., 2022

2021

Contributions to automatic configuration and selection for satisfiability.

Josep Pon

PhD thesis, 2021

PyDGGA: Distributed GGA for Automatic Configuration.

Carlos Ansótegui, Josep Pon, Meinolf Sellmann, Kevin Tierney

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

OptiLog: A Framework for SAT-based Systems.

Carlos Ansótegui, Jesus Ojeda, António Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2018

Hyper-Reactive Tabu Search for MaxSAT.

Carlos Ansótegui, Britta Heymann, Josep Pon, Meinolf Sellmann, Kevin Tierney

Proceedings of the Learning and Intelligent Optimization - 12th International Conference, 2018

2017

Reactive Dialectic Search Portfolios for MaxSAT.

Carlos Ansótegui, Josep Pon, Meinolf Sellmann, Kevin Tierney

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017