Sign in

Diversification and Intensification in Parallel SAT Solving.

Long GuoYoussef HamadiSaïd JabbourLakhdar 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