Improving WalkSAT for Random 3-SAT Problems by Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu

Subjects: “…3-SAT…”
Get full text

Globally Optimizing QAOA Circuit Depth for Constrained Optimization Problems by Rebekah Herrman, Lorna Treffert, James Ostrowski, Phillip C. Lotshaw, Travis S. Humble, George Siopsis

Subjects: Get full text

An Improved Parallel DNA Algorithm of 3-SAT by Wei Liu, Shou Xia Sun, Ying Guo

Subjects: Get full text

Hybridised Network of Fuzzy Logic and a Genetic Algorithm in Solving 3-Satisfiability Hopfield Neural Networks by Farah Liyana Azizan, Saratha Sathasivam, Majid Khan Majahar Ali, Nurshazneem Roslan, Caicai Feng

Subjects: “…3-SAT…”
Get full text

Modeling of 3 SAT discrete Hopfield neural network optimization using genetic algorithm optimized K-modes clustering by Xiaojun Xie, Saratha Sathasivam, Hong Ma

Subjects: Get full text

The “One-fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ,λ)) Genetic Algorithm by Anton Olegovich Bassin, Maxim Viktorovich Buzdalov, Anatoly Abramovich Shalyto

Subjects: Get full text

Predicting the satisfiability of Boolean formulas by incorporating gated recurrent unit (GRU) in the Transformer framework by Wenjing Chang, Mengyu Guo, Junwei Luo

Subjects: Get full text

An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy by Huimin Fu, Yang Xu, Guanfeng Wu, Hairui Jia, Wuyang Zhang, Rong Hu

Subjects: Get full text

Logic mining with hybridized 3-satisfiability fuzzy logic and harmony search algorithm in Hopfield neural network for Covid-19 death cases by Farah Liyana Azizan, Saratha Sathasivam, Nurshazneem Roslan, Ahmad Deedat Ibrahim

Subjects: “…3sat…”
Get full text

MAX-SAT Problem using Hybrid Harmony Search Algorithm by Abu Doush Iyad, Quran Amal Lutfi, Al-Betar Mohammed Azmi, Awadallah Mohammed A.

Subjects: Get full text

Hardness of Braided Quantum Circuit Optimization in the Surface Code by Kunihiro Wasa, Shin Nishio, Koki Suetsugu, Michael Hanks, Ashley Stephens, Yu Yokoi, Kae Nemoto

Subjects: Get full text

Algorithmic Aspects of the Independent 2-Rainbow Domination Number and Independent Roman {2}-Domination Number by Poureidi Abolfazl, Rad Nader Jafari

Subjects: Get full text