GSAT and Local Consistency.

Kalev Kask Rina Dechter

Published in: IJCAI (1) (1995)

Keyphrases

satisfiability problem
randomly generated
stochastic local search
phase transition
sat problem
neural network
consistency checking
sat instances
davis putnam
data sets
propositional satisfiability
path consistency
global constraints
np complete
cost function
case study
genetic algorithm
machine learning
databases