Sign in

Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering.

Deepak MehtaBarry O'SullivanLuis Quesada
Published in: CP (2011)
Keyphrases
  • variable ordering
  • branch and bound algorithm
  • optimal solution
  • search methods
  • binary decision diagrams
  • data mining
  • normal form
  • conflict directed