Publications

Articles

International Conferences: 1

2016

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