Solving SAT by Lagrange Programming Neural Network with Long and Short Term Memories.
Masahiro NagamatuTorao YanaruPublished in: EJC (1999)
Keyphrases
- short term
- long term
- neural network
- electric load forecasting
- chaotic time series
- stock market
- associative memory
- sat solving
- stochastic local search
- artificial neural networks
- short term and long term
- sat instances
- search algorithm
- sat problem
- satisfiability problem
- load forecasting
- forecasting model
- short and long term
- sat solvers
- bp neural network
- sat encodings
- motion prediction
- short term prediction
- phase transition
- lagrange multipliers
- recurrent neural networks
- medium term
- genetic algorithm
- fault diagnosis
- long term memory
- back propagation
- information processing
- np complete
- fuzzy logic