Frederic
Didier
Publicaciones en las que colabora con Frederic Didier (1)
2015
-
Exploiting the structure of unsatisfiable cores in MaxSAT
IJCAI International Joint Conference on Artificial Intelligence