CPSolver.Search.VariableSelector.CHB (Fixpoint v0.13.2)
Conflict-history based variable selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.4)
Link to this section Summary
Functions
Initialize CHB data
Callback implementation for CPSolver.Search.VariableSelector.update/2.
Compute chbs of variables in one pass
Link to this section Functions
Link to this function
default_q_score()
Link to this function
initialize(space_data, opts)
Initialize CHB data
Link to this function
step_size(failure_count)
Link to this function
update(data, opts)
Callback implementation for CPSolver.Search.VariableSelector.update/2.
Link to this function
update_chbs(variables, failure?, shared)
Link to this function
variable_chbs(variables, shared)
Compute chbs of variables in one pass