The paper " Clause Branching in MaxSAT and MinSAT" by Josep Argelich, Chu Min Li, Felip Manyà and Joan Ramon Soler received the Best Paper Award at the 21st International Conference of the Catalan Association for Artificial Intelligence, CCIA 2018.
The paper " Clause Branching in MaxSAT and MinSAT" by Josep Argelich, Chu Min Li, Felip Manyà and Joan Ramon Soler received the Best Paper Award at the 21st International Conference of the Catalan Association for Artificial Intelligence, CCIA 2018.