A Unified Framework for Symmetry Handling
From MaRDI portal
Publication:6415955
arXiv2211.01295MaRDI QIDQ6415955
Jasper van Doornmalen, Christopher Hojny
Publication date: 2 November 2022
Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Combinatorial optimization (90C27) Boolean programming (90C09)
This page was built for publication: A Unified Framework for Symmetry Handling