Experimenting with the Instances of the MaxSAT Evaluation
Tipo de Publicación:
Conference PaperOrigen:
14th International Conference of the Catalan Association for Artificial Intelligence, IOS Press, Volumen232, Lleida, Catalonia, Spain, p.31-40 (2011)Proyectos:
