TY  - RPRT
TI  - Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
AU  - Leizhen Zhang
AU  - Shuhan Chen
AU  - Sheng Chen
PY  - 2026
UR  - https://arxiv.org/abs/2605.28602
ID  - 2605.28602
ER  -