Examples of Distributors

• Naive distribution:

  • choose first variable with non-singleton domain
  • choose lowest value

• Domain-splitting distribution:

  • choose first variable with non-singleton domain
  • try lower half of its domain first

Previous slide

Next slide

Back to first slide

View graphic version