Finding a second Hamiltonian decomposition of a 4-regular multigraph by integer linear programming.

Andrei V. Nikolaev Egor V. Klimov

Published in: J. Comb. Optim. (2024)

Keyphrases

integer linear programming
column generation
bicriteria
linear inequalities
boolean satisfiability
symmetry breaking
pseudo boolean
global constraints
graph coloring
boolean optimization
optimization problems
integer program