Using Learnt Clauses in maxsat. - Jessica Davies 001; Jeremy Cho; Fahiem Bacchus (CP, 2010)