Proceedings

Joel Gabàs

1 paper in the IJCAI proceedings

IJCAI 2015

Exploiting the Structure of Unsatisfiable Cores in MaxSAT
with Carlos Ansótegui, Frédéric Didier
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards