search

Wikunia / ConstraintSolver.jl

ConstraintSolver in Julia: Blog posts ->
https://opensourc.es/blog/constraint-solver-1
MIT License
136 stars 14 forks source link

Different branching strategies #96

Open Wikunia opened 4 years ago

Wikunia commented 4 years ago

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

Wikunia commented 4 years ago

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

Wikunia commented 3 years ago

Conflict Directed Variable Selection Strategies for Constraint Satisfaction Problems:

Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems