ML Anthology

Improving and Understanding the Power of Satisfaction-Driven Clause Learning

Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh
JAIR 2025
doi:10.1613/JAIR.1.18286 /jair/2025/oliveras2025jair-improving/
JAIR Semantic Scholar

Cite

Text

Oliveras et al. "Improving and Understanding the Power of Satisfaction-Driven Clause Learning." Journal of Artificial Intelligence Research, 2025. doi:10.1613/JAIR.1.18286

Markdown

[Oliveras et al. "Improving and Understanding the Power of Satisfaction-Driven Clause Learning." Journal of Artificial Intelligence Research, 2025.](https://mlanthology.org/jair/2025/oliveras2025jair-improving/) doi:10.1613/JAIR.1.18286

BibTeX

@article{oliveras2025jair-improving,
  title     = {{Improving and Understanding the Power of Satisfaction-Driven Clause Learning}},
  author    = {Oliveras, Albert and Li, Chunxiao and Wu, Darryl and Chung, Jonathan and Ganesh, Vijay},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2025},
  doi       = {10.1613/JAIR.1.18286},
  volume    = {83},
  url       = {https://mlanthology.org/jair/2025/oliveras2025jair-improving/}
}