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

Fadi A. Aloul Igor L. Markov Karem A. Sakallah

Published in: ACM Great Lakes Symposium on VLSI (2003)

Keyphrases

real time
database
data sets
databases
learning algorithm
search space
elimination algorithm