Please enable JavaScript.
Coggle requires JavaScript to display documents.
Branching by CP model structure - Coggle Diagram
Branching by CP model structure
Encoding preferences
Ranking
Rank
groups
of assignments
Fractions of a budget
Shortest path: centrality metrics
Cardinality constraints with time window (Maarten's example): closeness to the array center
Vote out the least interesting assignment(s)
Distinguishing variable and variable/value pairs
Fund at most
k
values per variable, watch out for the uniformness
Aggregating preferences
Voting paradoxes
Arrow's impossibility theorem
Budget/penalize deviations in constraint preferences
How to allocate budget to a constraint?
Uniform
Mining: number of propagations
Derived conflict clauses: scores and assists
VSIDS
Deposit money to the constraints that derive conflicts
Inflate money by scaling down
Accounting for optimization variables
Track lower/upper bound changes
Track history of discovered solutions and bound changes
Pseudocost branching from MIP
Store
variable
-level information
Produce constraint-informed relaxations