Sign in

Clause States Based Configuration Checking in Local Search for Satisfiability.

Chuan LuoShaowei CaiKaile SuWei Wu
Published in: IEEE Trans. Cybern. (2015)
Keyphrases
  • satisfiability testing
  • propositional logic
  • search space
  • cnf formula
  • search algorithm
  • stochastic local search
  • optimal configuration
  • genetic algorithm