Solving the Satisfiability Problem through Boolean Networks

Michela Milano, Andrea Roli. Solving the Satisfiability Problem through Boolean Networks. In Evelina Lamma, Paola Mello, editors, AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings. Volume 1792 of Lecture Notes in Computer Science, pages 72-83, Springer, 1999. [doi]

Abstract

Abstract is missing.