Math blog

• BQP Reformulations
• Domain Reduction
  • Introduction
  • Optimality based bounds tightening (OBBT)
  • Feasibility based bounds tightening (FBBT)
  • Constraint propagation (CP)
• Branching strategies
  • Introduction
  • Most Violated Term
  • Strong branching
  • Max Separation Distance
  • Hybrid integer least reduced axis
• Primal heuristics
  • Nonlinear Feasibility Pump
  • Starting point strategies
• Relaxations
  • Nonlinear Relaxation for Convex MINLPs