Abstract:Within the swiftly evolving domain of neural networks, the discrete Hopfield-SAT model, endowed with logical rules and the ability to achieve global minima of SAT problems, has emerged as a novel prototype for SAT solvers, capturing significant scientific interest. However, this model shows substantial sensitivity to network size and logical complexity. As the number of neurons and logical complexity increase, the solution space rapidly contracts, leading to a marked decline in the model's problem-solving performance. This paper introduces a novel discrete Hopfield-SAT model, enhanced by Crow search-guided fuzzy clustering hybrid optimization, effectively addressing this challenge and significantly boosting solving speed. The proposed model unveils a significant insight: its uniquely designed cost function for initial assignments introduces a quantification mechanism that measures the degree of inconsistency within its logical rules. Utilizing this for clustering, the model utilizes a Crow search-guided fuzzy clustering hybrid optimization to filter potential solutions from initial assignments, substantially narrowing the search space and enhancing retrieval efficiency. Experiments were conducted with both simulated and real datasets for 2SAT problems. The results indicate that the proposed model significantly surpasses traditional discrete Hopfield-SAT models and those enhanced by genetic-guided fuzzy clustering optimization across key performance metrics: Global minima ratio, Hamming distance, CPU time, retrieval rate of stable state, and retrieval rate of global minima, particularly showing statistically significant improvements in solving speed. These advantages play a pivotal role in advancing the discrete Hopfield-SAT model towards becoming an exemplary SAT solver. Additionally, the model features exceptional parallel computing capabilities and possesses the potential to integrate with other logical rules. In the future, this optimized model holds promise as an effective tool for solving more complex SAT problems.

Multiterminal Net Assignments by Scatter Search

Probabilistic Optimization for Fpga Board Level Routing Problems

A Comparative Study on Search Strategies for Cell Assignments

A Heuristic State Assignment Algorithm Targeting Area

Tasks mapping in multi-core based system: hybrid ACO&GA approach

A Multiobjective Scatter Search Algorithm for Fault-Tolerant Noc Mapping Optimisation

Integrated scheduling optimization of U-shaped automated container terminal under loading and unloading mode

Solving Sparse Assignment Problems on FPGAs

An Efficient Search Space Smoothing Based Netlist Partitioning

Learning from the Past: Efficient High-level Synthesis Design Space Exploration for FPGAs

Building A Multi-Fpga-Based Emulation Framework To Support Networks-On-Chip Design And Verification

High-Level Synthesis through metaheuristics and LUTs optimization in FPGA devices

2-SAT discrete Hopfield neural networks optimization via Crow search and fuzzy dynamical clustering approach

Co-Emulation of Scan-Chain Based Designs Utilizing SCE-MI Infrastructure

FPGA Technology Mapping with Adaptive Gate Decomposition.

Lattice-based Scheduling for Multi-FPGA Systems

Evaluation of Static Mapping for Dynamic Space-Shared Multi-task Processing on FPGAs

Integrated Berth and Crane Scheduling Problem Considering Crane Coverage in Multi-Terminal Tidal Ports under Uncertainty

ARBSA: Adaptive Range-Based Simulated Annealing for FPGA Placement

A Novel Net-Partition-Based Multithread Fpga Routing Method

High-performance application mapping in network-on-chip-based multicore systems