Solving Satisfiability Problem by Parallel Execution of Neural Networks with Biases.
Kairong ZhangMasahiro NagamatuPublished in: ICANN (2) (2005)
Keyphrases
- satisfiability problem
- parallel execution
- neural network
- stochastic local search
- sat instances
- np complete
- temporal logic
- weighted max sat
- search algorithm
- data partitioning
- sat problem
- phase transition
- parallel processing
- cost model
- stochastic local search algorithms
- parallel computing
- query execution
- max sat
- shared memory
- knowledge base
- parallel algorithm
- markov random field
- programming language
- query processing