Exponential lower bounds for cutting planes and Res(⊕) on binary clique formulas for random dense graphs, with polynomial randomized communication complexity for falsified clause finding.
Title resolution pending
6 Pith papers cite this work, alongside 1,762 external citations. Polarity classification is still indexing.
years
2026 6verdicts
UNVERDICTED 6representative citing papers
Superposition relaxation creates separable estimators for factorable functions that are tighter than McCormick relaxations in numerical tests while providing convergence guarantees.
SILAS jointly optimizes polynomial ODE vector fields and polynomial Lyapunov functions from data to produce models with provably bounded trajectories via compact absorbing sets.
Deleting k colors to place the residual augmented graph in a uniformly rank-r exact hereditary class yields Lasserre exactness at level k+r, with color-intersection graphs inducing clique-sum locality for blockwise algorithms on rainbow matching.
A DRL-trained unrolled QP network serves as a model-free safety filter with formal persistent safety guarantees.
A certificate of unboundedness is introduced for arbitrary polynomial optimization problems to detect cases with no finite lower bound.
citing papers explorer
-
Average-Case Hardness of Binary-Encoded Clique in Proof and Communication Complexity
Exponential lower bounds for cutting planes and Res(⊕) on binary clique formulas for random dense graphs, with polynomial randomized communication complexity for falsified clause finding.
-
Relaxation via Separable Estimators: Arithmetic and Implementation
Superposition relaxation creates separable estimators for factorable functions that are tighter than McCormick relaxations in numerical tests while providing convergence guarantees.
-
Data-driven discovery of polynomial ODEs with provably bounded solutions
SILAS jointly optimizes polynomial ODE vector fields and polynomial Lyapunov functions from data to produce models with provably bounded trajectories via compact absorbing sets.
-
Grouped Color Deletion, Lasserre Exactness and Clique-Sum Locality for Rainbow Matching
Deleting k colors to place the residual augmented graph in a uniformly rank-r exact hereditary class yields Lasserre exactness at level k+r, with color-intersection graphs inducing clique-sum locality for blockwise algorithms on rainbow matching.
-
Verifiable Model-Free Safety Filters via Reinforcement Learning
A DRL-trained unrolled QP network serves as a model-free safety filter with formal persistent safety guarantees.
-
A Certificate of Unboundedness for Polynomial Optimization Problems
A certificate of unboundedness is introduced for arbitrary polynomial optimization problems to detect cases with no finite lower bound.