@misc{indiciae3172efba619f,
  title = {Extended Resolution Clause Learning via Dual Implication Points},
  author = {Sam Buss and Jonathan Chung and Vijay Ganesh and Albert Oliveras},
  year = {2026},
  doi = {10.46298/lmcs-22(2:23)2026},
  url = {https://arxiv.org/abs/2406.14190},
  note = {Source identifier: 2406.14190}
}