Milano M.; Roli A., Solving the satisfiability problem through boolean networks, in: AI*IA 99:Advances in Artificial Intelligence, 2000, 1792, pp. 72 - 83 (atti di: 6th Congress of the Italian Association for Artificial Intelligence, Bologna, September 1999) [Contribution to conference proceedings]
