Phase Transitions and Stochastic Local Search in k-Term DNF Learning.

Ulrich Rückert Stefan Kramer Luc De Raedt

Published in: ECML (2002)

Keyphrases

term dnf
phase transition
stochastic local search
satisfiability problem
constraint satisfaction
combinatorial problems
randomly generated
decision lists
relational learning
uniform distribution
sat problem
learning algorithm
cellular automata
random sat