Publication: Mutation Tabu Search Using Systematic Probabilistic Two Satisfiability In A Discrete Hopfield Neural Network
Loading...
Date
2025-09
Authors
Chen, Ju
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Satisfiability logic has been extensively applied in artificial neural network research. However, existing studies have not developed effective strategies for controlling the distribution of literals in the formulations. Therefore, this thesis proposes a Probabilistic 2 Satisfiability model that controls the quantity and position of positive literals through a positive rule applied to variables in second-order clauses.
Description
Keywords
Mutation Tabu Search Using Systematic Probabilistic Two Satisfiability , Discrete Hopfield Neural Network