Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT

Berg et al. "Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT." International Joint Conference on Artificial Intelligence, 2015.

[Berg et al. "Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/berg2015ijcai-improving/)

@inproceedings{berg2015ijcai-improving,
  title     = {{Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT}},
  author    = {Berg, Jeremias and Saikko, Paul and Järvisalo, Matti},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {239-245},
  url       = {https://mlanthology.org/ijcai/2015/berg2015ijcai-improving/}
}