Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)

Li et al. "Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/739

[Li et al. "Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/li2022ijcai-combining/) doi:10.24963/IJCAI.2022/739

@inproceedings{li2022ijcai-combining,
  title     = {{Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)}},
  author    = {Li, Chu-Min and Xu, Zhenxing and Coll, Jordi and Manyà, Felip and Habet, Djamal and He, Kun},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2022},
  pages     = {5299-5303},
  doi       = {10.24963/IJCAI.2022/739},
  url       = {https://mlanthology.org/ijcai/2022/li2022ijcai-combining/}
}