75 citations · 414 across the 53 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2024★ 2 cited
LinSATNet: The Positive Linear Satisfiability Neural Networks
Runzhong Wang, Yunhao Zhang, Ziao Guo +3
Encoding constraints into neural networks is attractive. This paper studies how to introduce the popular positive linear satisfiability to neural networks. We propose the first dif…
cs.AI2022
Learning Universe Model for Partial Matching Networks over Multiple Graphs
Zetian Jiang, Jiaxin Lu, Tianzhe Wang +1
We consider the general setting for partial matching of two or multiple graphs, in the sense that not necessarily all the nodes in one graph can find their correspondences in anoth…
cs.AI2022★ 13 cited
A Survey for Solving Mixed Integer Programming via Machine Learning
Jiayi Zhang, Chang Liu, Junchi Yan +3
This paper surveys the trend of leveraging machine learning to solve mixed integer programming (MIP) problems. Theoretically, MIP is an NP-hard problem, and most of the combinatori…