Weighted Random k Satisfiability for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e4005" altimg="si2.svg"> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo linebreak="goodbreak" linebreakstyle="after">=</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> </mml:math> (r2SAT) in Discrete Hopfield Neural Network
Nur Ezlin Zamri, Siti Aishah Azhar, Mohd. Asyraf Mansor, Alyaa Alway, Mohd Shareduwan Mohd Kasihmuddin
Topics & Concepts
SatisfiabilityAlgorithmHopfield networkArtificial neural networkComputer scienceMaximum satisfiability problemBoolean satisfiability problemDiscrete mathematicsArtificial intelligenceMathematicsTheoretical computer scienceBoolean functionNeural Networks and ApplicationsAdvanced Memory and Neural ComputingFuzzy Logic and Control Systems