Exploiting the Structure of Unsatisfiable Cores in MaxSAT

Ansótegui et al. "Exploiting the Structure of Unsatisfiable Cores in MaxSAT." International Joint Conference on Artificial Intelligence, 2015.

[Ansótegui et al. "Exploiting the Structure of Unsatisfiable Cores in MaxSAT." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/ansotegui2015ijcai-exploiting/)

@inproceedings{ansotegui2015ijcai-exploiting,
  title     = {{Exploiting the Structure of Unsatisfiable Cores in MaxSAT}},
  author    = {Ansótegui, Carlos and Didier, Frédéric and Gabàs, Joel},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {283-289},
  url       = {https://mlanthology.org/ijcai/2015/ansotegui2015ijcai-exploiting/}
}