Learning hard constraints in Max-SAT (2006)

by J Argelich, Manyà
Venue:In: CSCLP-2006. (2006) 1–12