International conference
-On Incremental Core-Guided MaxSAT SolvingXujie Si and Xin Zhang and Vasco Manquinho and Mikolas Janota and Alexey S. Ignatiev and Mayur Naik presented at International Conference Principles and Practice of Constraint Programming (CP 2016), Sep. 2016, Springer, [DOI Article link][bibTex]