Parallel State Space Search for SAT with Lagrange Programming Neural Network.
Masahiro NagamatuTorao YanaruPublished in: ICONIP (1998)
Keyphrases
- state space search
- neural network
- search problems
- search algorithm
- heuristic search
- parallel version
- iterative deepening
- artificial neural networks
- domain independent
- beam search
- orders of magnitude
- neural network model
- search strategies
- optimal planning
- genetic algorithm
- sat solvers
- depth first search
- search tree
- integer programming
- search methods