Login / Signup
Using Attenuation Coefficient Generating Function in Parallel Execution of Neural Networks for Solving SAT.
Kairong Zhang
Masahiro Nagamatu
Published in:
J. Adv. Comput. Intell. Intell. Informatics (2005)
Keyphrases
</>
parallel execution
neural network
data partitioning
parallel processing
query processing
cost model
stochastic local search
shared memory
parallel computing
concurrent execution
image segmentation
pairwise
satisfiability problem
sat solvers
efficient execution