Bounding Linear Programs by Constraint Propagation: Application to Max-SAT.
Tomás DlaskTomás WernerPublished in: CP (2020)
Keyphrases
- constraint propagation
- linear program
- linear programming
- max sat
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- primal dual
- weighted max sat
- column generation
- temporal constraints
- integer program
- arc consistency
- objective function
- integer programming
- branch and bound
- mixed integer
- sat problem
- satisfiability problem
- video sequences