An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers

Luo et al. "An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/98

[Luo et al. "An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/luo2017ijcai-effective/) doi:10.24963/IJCAI.2017/98

@inproceedings{luo2017ijcai-effective,
  title     = {{An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers}},
  author    = {Luo, Mao and Li, Chu-Min and Xiao, Fan and Manyà, Felip and Lü, Zhipeng},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {703-711},
  doi       = {10.24963/IJCAI.2017/98},
  url       = {https://mlanthology.org/ijcai/2017/luo2017ijcai-effective/}
}