Boolean approch for representing and solving constraint-satisfaction problems

Hachemi Bennaceur. Boolean approch for representing and solving constraint-satisfaction problems. In Marco Gori, Giovanni Soda, editors, Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA 95, Florence, Italy, October 11-13, 1995, Proceedings. Volume 992 of Lecture Notes in Computer Science, pages 163-174, Springer, 1995.

Abstract

Abstract is missing.