ML Anthology

Soler, Joan Ramon

1 publications

IJCAI 2016 A Clause Tableau Calculus for MaxSAT Chu Min Li, Felip Manyà, Joan Ramon Soler