ConstraintSolver.jl icon indicating copy to clipboard operation
ConstraintSolver.jl copied to clipboard
verified publisher icon Wikunia

Different branching strategies

Open Wikunia opened this issue 5 years ago • 2 comments

Currently the next variable is chosen based on number of possible values and how often it failed at that point (bt_infeasible)

  • [x] ABS
  • [ ] Weighted degree heuristic (wdeg)
  • [ ] dom / wdeg
  • [ ] Impact based search

Wikunia avatar Mar 03 '20 10:03 Wikunia

Activity branching https://arxiv.org/pdf/1105.6314.pdf

Wikunia avatar May 11 '20 10:05 Wikunia

Conflict Directed Variable Selection Strategies for Constraint Satisfaction Problems:

  • http://users.sch.gr/abalafoutis/pdf/SETN2010.pdf

Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems

  • http://ceur-ws.org/Vol-451/paper02balafoutis.pdf

Wikunia avatar Dec 13 '20 16:12 Wikunia