Publicaciones

Experimenting with the Instances of the MaxSAT Evaluation

Tipo de Publicación:

Conference Paper

Origen:

14th International Conference of the Catalan Association for Artificial Intelligence, IOS Press, Volumen232, Lleida, Catalonia, Spain, p.31-40 (2011)

Proyectos: