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
Constrained Gaussian Wasserstein Optimal Transport with Commutative Covariance Matrices
Jun Chen, Jia Wang, Ruibin Li +4
Optimal transport has found widespread applications in signal processing and machine learning. Among its many equivalent formulations, optimal transport seeks to reconstruct a rand…