Xinyan Chen, Yang Li, Runzhong Wang, Junchi Yan. MixSATGEN: Learning Graph Mixing for SAT Instance Generation. In The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024. OpenReview.net, 2024. [doi]
Abstract is missing.