• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

FORCE: a fast and easy-to-implement variable-ordering heuristic.

Fadi A. AloulIgor L. MarkovKarem A. Sakallah
Published in: ACM Great Lakes Symposium on VLSI (2003)
Keyphrases
  • real time
  • database
  • data sets
  • databases
  • learning algorithm
  • search space
  • elimination algorithm