Learning Hard Constraints in Max-SAT (2006)

by J Argelich, F Manyà
Venue:In Proceedings of CSCLP’06, Vol. 4651 of LNCS