Department of Computer Science and Engineering & Zhiyuan College, Shanghai Jiao Tong University; Department of Computer Science and Engineering, Shanghai Jiao Tong University
Xinyan Chen, Yang Li, Runzhong Wang, Junchi Yan
Combinatorial Optimization;Boolean Satisfiability Problem;Graph Generation;Graph Matching
MixSATGEN: Learning Graph Mixing for SAT Instance Generation