Martin Anthony

Latest

• Quadratic reformulations of nonlinear binary optimization problems
• Quadratization of symmetric pseudo-Boolean functions