2 papers
cs.AI2026
Boolean Satisfiability via Imitation Learning
Zewei Zhang, Huan Liu, Yuanhao Yu +2
We propose ImitSAT, a branching policy for conflict-driven clause learning (CDCL) solvers based on imitation learning for the Boolean satisfiability problem (SAT). Unlike previous…
cs.IT2025
Rate-Distortion-Perception Theory for the Quadratic Wasserstein Space
Xiqiang Qu, Jun Chen, Lei Yu +1
We establish a single-letter characterization of the fundamental distortion-rate-perception tradeoff with limited common randomness under the squared error distortion measure and t…