The Complexity of Global Cardinality Constraints.

Autor: Bulatov, A.A., Marx, D.
Zdroj: 2009 24th Annual IEEE Symposium on Logic In Computer Science; 2009, p419-428, 10p
Databáze: Complementary Index