Constrained Clustering Using SAT.

Jean-Philippe Mtivier, Patrice Boizumault, Bruno Crmilleux, Mehdi Khiari, Samir Loudni

Browse the full IDA paper archive.