Results (1)
Search Parameters:
Author/Affiliation: Prabal ChauhanOpen AccessArticle
6 Pages, 589 KB 
Solving the SAT problem using Genetic Algorithm
Abstract:
In this paper we propose our genetic algorithm for solving the SAT problem. We introduce various crossover and mutation techniques and then make a comparative analysis between them in order to find out which techniques are the best suited for solving a SAT instance. Before the genetic algorithm is applied to an instance it is…
Read More(This article belongs to Section Interdisciplinary Applications of Computer Science (CSI))