会员服务
Reweighted Spectral Partitioning Works: A Simple Algorithm for Vertex Separators in Special Graph Classes
Arxiv
0+阅读 · 11月17日
Application of the Lovász-Schrijver Lift-and-Project Operator to Compact Stable Set Integer Programs
Arxiv
0+阅读 · 11月4日
Reducing Stochastic Games to Semidefinite Program Feasibility
Arxiv
0+阅读 · 12月2日
Direct Parameterization of Lipschitz-Bounded Deep Networks
Arxiv
0+阅读 · 2023年4月29日
Efficient Symbolic Reasoning for Neural-Network Verification
Arxiv
0+阅读 · 2023年3月23日
参考链接
微信扫码咨询专知VIP会员
Top