A generative model learns patterns from adaptive QAOA circuits to generate high-quality shallow quantum circuits for Max-E3-SAT that scale better than variational baselines.
hub
Gurobi Optimizer Reference Manual
24 Pith papers cite this work. Polarity classification is still indexing.
24
Pith papers citing it
hub tools
citation-role summary
method 1
other 1
citation-polarity summary
representative citing papers
Complementarity constraints are treated as a Lie group under relaxation to enable parameterization that satisfies them by construction in LCQP solvers.
A hybrid controller samples low-dimensional end-effector targets for a contact-free stage then runs local complementarity MPC at each sample to approximate global contact-implicit optimization.
ProF repairs DNNs for individual fairness by using interval bound propagation to bound outputs over input sets and solving a MILP to adjust the model with guarantees on those sets.
DQI-Kit automates encoding of objectives and constraints into Max-LINSAT instances and estimates expected DQI performance on the resulting problems.
A frequency nadir-constrained MILP framework for black-start restoration that incorporates energy storage to maintain frequency security and shorten recovery time.
A dynamic saturation rate extension to the multi-commodity store-and-forward model is reformulated as an efficient MILP that outperforms prior multi-commodity approaches in mixed CAV-HDV traffic simulations.
DM³-Nav delivers decentralized multi-agent semantic navigation for multimodal open-vocabulary multi-object tasks that matches centralized baselines in simulation and succeeds in real-world robot deployments.
Ternary logic encodings of temporal behavior trees enable mixed-integer linear programming for correct-by-construction control synthesis in linear systems.
A nested amplitude amplification protocol for knapsack performs partial amplification on initial variables via an Inner Iteration Finder before global GAS, reducing solution improvement costs versus baseline in simulations on large instances.
ODYN is a novel all-shifted non-interior-point primal-dual QP solver with strong warm-start performance for robotics and AI applications.
A new series-parallel decomposition algorithm for general DAGs enables task mapping in heterogeneous systems that improves makespan over HEFT variants while running orders of magnitude faster than genetic algorithms or ILPs.
An attention-based DRL agent with Transformer encoder and GNN learns heuristics for qubit-to-core allocation in multi-core quantum systems to minimize state transfers and online compilation time.
SHIELD derives safe certificates from Lagrangian duality to reduce decision variables and constraints in convex programs, accelerated by a transformer network, delivering order-of-magnitude speedups in stochastic MPC for multi-modal traffic with preserved feasibility and safety.
A novel MILP relaxation for the load-dependent TSP yields optimal routes for most instances with up to 50 targets in under one minute, with optimality gaps below 13% for the rest.
An ILP model and BCD heuristic jointly optimize model splitting, node placement, and smashed-data routing in an SFC-based multi-hop split learning/inference architecture to minimize end-to-end latency.
Feasibility-aware imitation learning accelerates Benders decomposition by predicting feasible integer assignments in the master problem, improving solution times over prior imitation learning methods while retaining finite convergence.
LACE-S uses a neural representation with a projection layer and Jacobian regularization to produce locational carbon emission metrics that remain consistent with total emissions and sensitivities, leading to reliable system-wide emission reductions in load-shifting tests unlike prior metrics.
A progressive integrality outer-inner approximation framework solves large-scale AC unit commitment problems faster and more robustly than commercial solvers on 200- and 500-bus networks.
A scalable PTDF-based two-stage optimization framework with trust-region multicut Benders decomposition for co-optimizing transmission and storage under high renewables, demonstrated on a 2000-bus synthetic Texas system with sub-2% optimality gaps.
QAOA-based QuSO achieves end-to-end speedup over classical baselines for power grid unit commitment with up to 14 qubits using 16 layers in high-load scenarios via efficient classical pre-computation.
STALC presents a graph-based hierarchical planner with mixed-integer programming for multi-robot coordination in reconnaissance scenarios, demonstrated in simulation and hardware.
Introduces a decision-aware neural ODE model that integrates outage dynamics prediction with global optimization of resilience interventions for power grids.
citing papers explorer
-
SHIELD: Scalable Optimal Control with Certification using Duality and Convexity
SHIELD derives safe certificates from Lagrangian duality to reduce decision variables and constraints in convex programs, accelerated by a transformer network, delivering order-of-magnitude speedups in stochastic MPC for multi-modal traffic with preserved feasibility and safety.