Small Unsatisfiable Subsets in Constraint Satisfaction.

Ronald de Haan, Iyad A. Kanj, Stefan Szeider

Browse the full ICTAI paper archive.