Maximum Satisfiability Using Cores and Correction Sets

Bjørner and Narodytska. "Maximum Satisfiability Using Cores and Correction Sets." International Joint Conference on Artificial Intelligence, 2015.

[Bjørner and Narodytska. "Maximum Satisfiability Using Cores and Correction Sets." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/bjrner2015ijcai-maximum/)

@inproceedings{bjrner2015ijcai-maximum,
  title     = {{Maximum Satisfiability Using Cores and Correction Sets}},
  author    = {Bjørner, Nikolaj S. and Narodytska, Nina},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {246-252},
  url       = {https://mlanthology.org/ijcai/2015/bjrner2015ijcai-maximum/}
}