Login / Signup
Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT.
Djamal Habet
Published in:
ICTAI (1) (2008)
Keyphrases
</>
search algorithm
computational efficiency
max sat
data sets
branch and bound
search strategies
satisfiability problem
search strategy
backtracking search
search methods
search tree
search procedures
stochastic local search algorithms
neural network
search space
graph search