Experimenting with the Instances of the MaxSAT Evaluation
Publication Type:
Conference PaperSource:
14th International Conference of the Catalan Association for Artificial Intelligence, IOS Press, Volume 232, Lleida, Catalonia, Spain, p.31-40 (2011)Projectes:
