Carlos Ansótegui

Logic & Optimization Group (LOG) , University of Lleida

5 papers in the IJCAI proceedings

IJCAI 2021

Reducing SAT to Max2SAT

with Jordi Levy

doi:10.24963/ijcai.2021/189

Details PDF

IJCAI 2015

Exploiting the Structure of Unsatisfiable Cores in MaxSAT

with Frédéric Didier, Joel Gabàs

Details PDF

Model-Based Genetic Algorithms for Algorithm Configuration

with Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney

Details PDF

IJCAI 2009

Towards Industrial-Like Random SAT Instances

with Maria Luisa Bonet, Jordi Levy

Details PDF

IJCAI 2007

The Logic Behind Weighted CSP

with Maria Luisa Bonet, Jordi Levy, Felip Manyà

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings