Clause States Based Configuration Checking in Local Search for Satisfiability.

Chuan Luo Shaowei Cai Kaile Su Wei 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