A Novel Transition Based Encoding Scheme for Planning as Satisfiability.

Ruoyun Huang Yixin Chen Weixiong Zhang

Published in: AAAI (2010)

Keyphrases

encoding scheme
encoding schemes
genetic algorithm
planning problems
sat encodings
phase transition
satisfiability problem
binary strings
np complete
domain independent
sat solving
neural network
keywords
constraint satisfaction problems