conftrace_
← Authors

Carlos Ansotegui

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

Achievements

Jump to papers ↓
🏃 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