Joel Gabàs

DIEI , Univ. of Lleida , Spain

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

Future Conferences

AI Journal Division

IJCAI Proceedings