Marco Cadoli, Toni Mancini, Fabio Patrizi. SAT as an Effective Solving Technology for Constraint Problems. In Floriana Esposito, Zbigniew W. Ras, Donato Malerba, Giovanni Semeraro, editors, Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings. Volume 4203 of Lecture Notes in Computer Science, pages 540-549, Springer, 2006. [doi]
Abstract is missing.