会员服务
Quantum Subroutines in Branch-Price-and-Cut for Vehicle Routing
Arxiv
0+阅读 · 4月24日
Cut-Elimination for the Bimodal Logic GR
Arxiv
0+阅读 · 5月15日
Average-Case Hardness of Binary-Encoded Clique in Proof and Communication Complexity
Arxiv
0+阅读 · 5月11日
An $Ω(n \log n)$ Randomized Lower Bound for Cutting a Cake into Proportionally Fair Pieces
Arxiv
0+阅读 · 5月20日
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
Arxiv
0+阅读 · 5月5日
Conformal tubular parameterization and toroidal bending of tube-like surfaces
Arxiv
0+阅读 · 4月26日
On Cutting Cakes and Crossing Curves
Arxiv
0+阅读 · 6月11日
MeshTailor: Cutting Seams via Generative Mesh Traversal
Arxiv
0+阅读 · 5月20日
QuMod: Parallel Quantum Job Scheduling on Modular QPUs using Circuit Cutting
Arxiv
0+阅读 · 4月13日
Orthogonal Strip Partitioning of Polygons: Lattice-Theoretic Algorithms and Lower Bounds
Arxiv
0+阅读 · 4月16日
An extension of Priestley duality to fuzzy topologies and positive MV-algebras
Arxiv
0+阅读 · 4月16日
Beyond Spectral Clustering: Probabilistic Cuts for Differentiable Graph Partitioning
Arxiv
0+阅读 · 4月1日
Solving the Two-dimensional single stock size Cuting Stock Problem with SAT and MaxSAT
Arxiv
0+阅读 · 4月2日
Lumbermark: Resistant Clustering by Chopping Up Mutual Reachability Minimum Spanning Trees
Arxiv
0+阅读 · 4月8日
Towards Automated Chicken Deboning via Learning-based Dynamically-Adaptive 6-DoF Multi-Material Cutting
Arxiv
0+阅读 · 3月27日
参考链接
微信扫码咨询专知VIP会员
Top