Diversification and Intensification in Parallel SAT Solving.

Long Guo Youssef Hamadi Saïd Jabbour Lakhdar Sais

Published in: CP (2010)

Keyphrases

sat solving
tabu search
sat solvers
max sat
search strategies
boolean satisfiability
boolean optimization
simulated annealing
metaheuristic
scheduling problem
search tree
sat problem
special case