ML Anthology

Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs

Yunuo Cen, Zhiwei Zhang, Xuanyao Fong
AAAI 2025 pp. 11140-11149
doi:10.1609/AAAI.V39I11.33211 /aaai/2025/cen2025aaai-massively/
AAAI Semantic Scholar

Cite

Text

Cen et al. "Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I11.33211

Markdown

[Cen et al. "Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/cen2025aaai-massively/) doi:10.1609/AAAI.V39I11.33211

BibTeX

@inproceedings{cen2025aaai-massively,
  title     = {{Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs}},
  author    = {Cen, Yunuo and Zhang, Zhiwei and Fong, Xuanyao},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {11140-11149},
  doi       = {10.1609/AAAI.V39I11.33211},
  url       = {https://mlanthology.org/aaai/2025/cen2025aaai-massively/}
}