@inproceedings{ CP2010_MaxSat,
  title = {Using Learnt Clauses in MAXSAT}
}
,
  url = {DCB_CP2010.pdf}
}
,
  booktitle = {16th International Conference on Principles and Practice of Constraint Programming (CP-2010)}
}
,
  author = {Jessica Davies and Jeremy Cho and Fahiem Bacchus}
}
,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)}
}
,
  year = {2010}
}
,
  pages = {176-190}
}