@misc{indiciaea4ced75ba679,
  title = {A Non-CDCL SAT Solver with Early Conflict Detection: The Watched-Literal-Based CSFLOC Solver},
  author = {Gábor Kusper},
  year = {2026},
  doi = {10.4204/eptcs.451.15},
  url = {https://arxiv.org/abs/2608.24255},
  note = {Source identifier: 2608.24255}
}