Carlos Ansotegui

3 papers · 2015–2021 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (6) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (6)

Conferences

IJCAI (3)

Top co-authors

Kevin Tierney (1) Yuri Malitsky (1) Meinolf Sellmann (1) Joel Gabas (1) Jordi Levy (1) Frederic Didier (1) Horst Samulowitz (1)

Keywords

maxsat solver (1) algorithm reduction (1)

Papers

Reducing SAT to Max2SAT IJCAI 2021

Exploiting the Structure of Unsatisfiable Cores in MaxSAT IJCAI 2015

Model-Based Genetic Algorithms for Algorithm Configuration IJCAI 2015