Akram Rajeb, Abdelmajid Ben Hamadou, Zied Loukil. Comparison Between SAT-Based and CSP-Based Approaches to Resolve Pattern Mining Problems. In Ajith Abraham, Sang-Yong Han, Salah Al-Sharhan, Hongbo Liu, editors, Hybrid Intelligent Systems - 15th International Conference HIS 2015 on Hybrid Intelligent Systems, Seoul, South Korea, November 16-18, 2015. Volume 420 of Advances in Intelligent Systems and Computing, pages 307-314, Springer, 2015. [doi]
Abstract is missing.