A survey of the satisfiability-problems solving algorithms. (1st January 2013)

• Record Type: Journal Article
• Authors: Kilani, Yousef; Bsoul, Mohammad; Alsarhan, Ayoub; Al-Khasawneh, Ahmad
• Is Part Of: International journal of advanced intelligence paradigms. Volume 5:Number 3(2013)
• Page Start: 233
• Page End: 256
• Publication Date: 2013-01-01
• Subjects: satisfiability problems -- a survey -- SAT-solving methods -- stochastic local search -- advanced intelligence paradigms; Artificial intelligence -- Periodicals; Machine theory -- Periodicals; Fuzzy logic -- Periodicals; 006.305
• Languages: English
• ISSNs: 1755-0386

Abstract

The propositional satisfiability (SAT) problem is one of the most fundamental problems in computer science. SAT solvers have been successfully applied to a wide range of practical applications, including hardware model checking, software model finding, equivalence checking, and planning, among many others. Empirical research has been very fruitful for the development of efficient methods for SAT problems, such as classical Davis-Putnam method, greedy SAT (GSAT) method and neural network SAT method. This paper gives a survey about the methods used for solving the SAT problems with an emphasis on surveying the local search algorithms.