Solving the pole balancing problem by means of assembler encoding.

Published in: J. Intell. Fuzzy Syst. (2014)

Keyphrases

lower bound
solving problems
sat encodings
database
artificial intelligence
decision trees
image segmentation
multi agent systems
hidden markov models
encoding scheme
nonlinear equations