We present the Amanollahi Continuous SAT Solver, a novel continuous optimization framework for Boolean satisfiability problems. The method introduces a multiplicative tanh-based energy function togeth
This study proposes a novel hybrid computational approach that integrates the artificial dragonfly algorithm (ADA) with the Hopfield neural network (HNN) to achieve an optimal representation of the Ex