SAT and Hybrid Models of the Car Sequencing Problem.

Christian Artigues Emmanuel Hebrard Valentin Mayer-Eichberger Mohamed Siala Toby Walsh

Published in: CPAIOR (2014)

Keyphrases

hybrid models
hybrid model
sat solvers
neural network
satisfiability problem
search algorithm
propositional satisfiability
sat problem
stochastic local search
feed forward neural networks
np complete
decision trees
search space
back propagation
fuzzy clustering
decision making
learning algorithm
data sets