New Inference Rules for Efficient Max-SAT Solving

Heras and Larrosa. "New Inference Rules for Efficient Max-SAT Solving." AAAI Conference on Artificial Intelligence, 2006.

[Heras and Larrosa. "New Inference Rules for Efficient Max-SAT Solving." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/heras2006aaai-new/)

@inproceedings{heras2006aaai-new,
  title     = {{New Inference Rules for Efficient Max-SAT Solving}},
  author    = {Heras, Federico and Larrosa, Javier},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {68-73},
  url       = {https://mlanthology.org/aaai/2006/heras2006aaai-new/}
}