A Genetic-Based Approach for Satisfiability Problems

Mohamed Tounsi. A Genetic-Based Approach for Satisfiability Problems. In Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge, editors, Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings. Volume 2385 of Lecture Notes in Computer Science, pages 208-216, Springer, 2002. [doi]

Abstract

Abstract is missing.