SOUPS: A Variable Ordering Metric for the Saturation Algorithm.

Benjamin Smith Gianfranco Ciardo

Published in: ACSD (2018)

Keyphrases

variable ordering
computational complexity
cost function
objective function
search space
conflict directed
bayesian networks
np hard
dynamic programming
data mining
simulated annealing
linear programming
search strategy
propositional logic