TreeSearchVariableSelection Enumeration

Solver Foundation 3.0

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

Defines a heuristic for variable selection in constraint satisfaction programming (CSP).

Namespace:  Microsoft.SolverFoundation.Services
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)

public enum class TreeSearchVariableSelection

Member nameDescription
DefaultA heuristic for variable selection that is chosen by the solver.
MinimalDomainFirstEnumeration that chooses a variable that has the smallest domain.
DeclarationOrderEnumeration following the declaration order of the variables.
DynamicWeightingEnumeration that weighs variables dynamically based on dependents and current domain sizes.
ConflictDrivenEnumeration based on conflict analysis following a variant of the Variable State Independent Decaying Sum (VSIDS) heuristic.
ImpactPredictionEnumeration based on a forecast of the impact of a decision.
DomainOverWeightedDegreeEnumeration based on the domain over weighted degree.