Login / Signup

Local Search Based on Conflict Analysis for the Satisfiability Problem.

Djamal HabetDonia Toumi
Published in: ICTAI (2012)
Keyphrases
  • satisfiability problem
  • search algorithm
  • np complete
  • numerical analysis
  • stochastic local search
  • genetic algorithm
  • search space
  • temporal logic
  • knowledge base
  • special case
  • upper bound
  • constraint satisfaction