Focacci F.; Lodi A.; Milano M., Cutting planes in constraint programming: An hybrid approach, in: Principle and Practice of Constraint Programming - CP 2000, 2000, 1894, pp. 187 - 201 (atti di: Principle and Practice of Constraint Programming, Singapore, 2000) [Contribution to conference proceedings]
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]
