Title | Experimenting with the Instances of the MaxSAT Evaluation |
Publication Type | Conference Paper |
Year of Publication | 2011 |
Authors | Argerlich J., Li CMin, Manyà F, Planes J |
Conference Name | 14th International Conference of the Catalan Association for Artificial Intelligence |
Volume | 232 |
Publisher | IOS Press |
Conference Location | Lleida, Catalonia, Spain |
Pagination | 31-40 |