Login / Signup
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation.
Fadi A. Aloul
Igor L. Markov
Karem A. Sakallah
Published in:
J. Univers. Comput. Sci. (2004)
Keyphrases
</>
search algorithm
variable ordering
search strategies
search space
search strategy
data structure
search methods
state space
search queries
boolean functions
randomly generated
search procedure
search tools
search efficiency
randomly chosen