Export (0) Print
Expand All
Expand Minimize
This topic has not yet been rated - Rate this topic

ConstraintSolverParams.TreeSearchVariableOrdering 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 the choices for tree search algorithms.

Namespace:  Microsoft.SolverFoundation.Solvers
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
public enum TreeSearchVariableOrdering
Member nameDescription
AnyThe solver chooses a heuristic for variable ordering.
MinimalDomainFirstEnumeration that selects a variable with the smallest domain.
DeclarationOrderEnumeration following the declaration order of the variables.
DynamicWeightingWeigh 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.
Did you find this helpful?
(1500 characters remaining)
Thank you for your feedback
Show:
© 2014 Microsoft. All rights reserved.