On Incremental Core-Guided MaxSAT Solving.

Xujie Si, Xin Zhang, Vasco Manquinho, Mikols Janota, Alexey Ignatiev, Mayur Naik

Browse the full CP paper archive.