Was this page helpful?
Your feedback about this content is important. Let us know what you think.
Additional feedback?
1500 characters remaining
TreeSearchVariableSelection Enumeration
Collapse the table of content
Expand the table of content

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)

'Declaration
Public Enumeration 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.
Show:
© 2015 Microsoft