Genetic algorithms with exons and introns for the satisfiability problem

In this paper we propose a new model of genetic algorithms. This model uses notions of exons and introns. We consider the satisfiability problem as a testbed for a genetic algorithm with exons and introns.