4 citations · 4 across the 9 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs
Zhenchao Sun, Shuai Ma, Ping Lu +1
Graph neural networks have been widely used in Boolean satisfiability (SAT) tasks to learn structural information from SAT formulas. The goal of these studies is to solve SAT insta…
cs.LG2025
Dynamic Stratified Contrastive Learning with Upstream Augmentation for MILP Branching
Tongkai Lu, Shuai Ma, Chongyang Tao
Mixed Integer Linear Programming (MILP) is a fundamental class of NP-hard problems that has garnered significant attention from both academia and industry. The Branch-and-Bound (B\…
cs.LG2025
Empowering Targeted Neighborhood Search via Hyper Tour for Large-Scale TSP
Tongkai Lu, Shuai Ma, Chongyang Tao
Traveling Salesman Problem (TSP) is a classic NP-hard problem that has garnered significant attention from both academia and industry. While neural-based methods have shown promise…