Mining for diamonds—Matrix generation algorithms for binary quadratically constrained quadratic problems - Bettiol, Enrico; Bomze, Immanuel; Létocart, Lucas; Rinaldi, Francesco; Traversi, Emiliano (Computers & operations research, 2022)
Keywords: Algorithms; Binary quadratic problem; Boolean; Boolean algebra; Boolean Quadric Polytope; Computer Science; Dantzig–Wolfe Reformulation; Decomposition; Diamonds; Discrete Mathematics; Equivalence; Operations Research; Polytopes; Semidefinite programming; Sparse problem; Sparsity; 90C20; Dantzig–Wolfe Reformulation; Binary quadratic problem; 90C26; 49M27; Sparse problem; 90C09; Boolean Quadric Polytope