TY - RPRT TI - Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture AU - Kaidi Wan AU - Minghao Liu AU - Yong Lai PY - 2025 UR - https://arxiv.org/abs/2511.19544 ID - 2511.19544 ER -