Simple Pattern Minimality Problems: Integer Linear Programming Formulations and Covering-Based Heuristic Solving Approaches.
Maurizio BocciaAntonio SforzaClaudio SterlePublished in: INFORMS J. Comput. (2020)
Keyphrases
- integer linear programming
- pseudo boolean
- boolean optimization
- bicriteria
- column generation
- global constraints
- combinatorial optimization
- search heuristics
- cutting plane
- perfect phylogeny
- boolean satisfiability
- optimal solution
- integer program
- symmetry breaking
- constraint programming
- optimization problems
- simulated annealing
- dynamic programming