A dual-polarity representation in Ising/QUBO models enables computation of short SAT implicants by treating some variables as unassigned, with parameter regimes guaranteeing minimality.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3representative citing papers
CHAP's cross-platform portfolio finds feasible solutions for 47 of 50 MIP benchmark instances in five minutes, beating Gurobi (44) and cuOpt (43) by coordinating GPU tabu search with CPU fix-and-propagate and feasibility pump via a shared pool.
A meshing and beam search algorithm for random subset sum achieves inverse quadratic error decay O(B/(n w^2)) under a mean-field assumption while running in linearithmic time.
citing papers explorer
-
Computing Short SAT Implicants via Ising/QUBO Encodings
A dual-polarity representation in Ising/QUBO models enables computation of short SAT implicants by treating some variables as unassigned, with parameter regimes guaranteeing minimality.
-
CHAP: A Hybrid GPU-CPU Heuristic for MIP
CHAP's cross-platform portfolio finds feasible solutions for 47 of 50 MIP benchmark instances in five minutes, beating Gurobi (44) and cuOpt (43) by coordinating GPU tabu search with CPU fix-and-propagate and feasibility pump via a shared pool.
-
Robust Inverse Quadratic Error Decay with Meshing and Beam Search for Random Subset Sum
A meshing and beam search algorithm for random subset sum achieves inverse quadratic error decay O(B/(n w^2)) under a mean-field assumption while running in linearithmic time.