@inproceedings{ijcai2022p734,
  title     = {Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)},
  author    = {Cai, Shaowei and Zhang, Xindi},
  booktitle = {Proceedings of the Thirty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-22}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Lud De Raedt},
  pages     = {5274--5278},
  year      = {2022},
  month     = {7},
  note      = {Sister Conferences Best Papers},
  doi       = {10.24963/ijcai.2022/734},
  url       = {https://doi.org/10.24963/ijcai.2022/734},
}