Publicaciones en las que colabora con Frederic Didier (1)

2015

  1. Exploiting the structure of unsatisfiable cores in MaxSAT

    IJCAI International Joint Conference on Artificial Intelligence