A Dynamic Clause Specific Initial Weight Assignment for Solving Satisfiability Problems Using Local Search

A Dynamic Clause Specific Initial Weight Assignment for Solving Satisfiability Problems Using Local Search

For decades, the use of weights has proven its superior ability to improve dynamic local search weighting algorithms’ overall performance. This paper proposes a new mechanism where the initial clause’s weights are dynamically allocated based on the problem’s structure. The new mechanism starts by ex...

Full description

Bibliographic Details
Main Authors: Abdelraouf Ishtaiwi, Feda Alshahwan, Naser Jamal, Wael Hadi, Muhammad AbuArqoub
Format: Article
Language:English
Published: MDPI AG 2021-01-01
Series:Algorithms
Subjects:
artificial intelligence
dynamic local search algorithms
optimization
planning
Online Access:https://www.mdpi.com/1999-4893/14/1/12

Internet

https://www.mdpi.com/1999-4893/14/1/12

Similar Items