Using Attenuation Coefficient Generating Function in Parallel Execution of Neural Networks for Solving SAT

Kairong Zhang, Masahiro Nagamatu. Using Attenuation Coefficient Generating Function in Parallel Execution of Neural Networks for Solving SAT. JACIII, 9(2):121-126, 2005. [doi]

Abstract

Abstract is missing.