Quadratic Unconstrained Binary Optimization Problem Preprocessing: Theory and Empirical Analysis
Ising formulations of many NP problems