Beldiceanu, Nicolas, Ecole des Mines de Nantes / LINA, France
-
Twenty-Second International Joint Conference on Artificial Intelligence - Constraints, Satisfiability, and Search
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints
Abstract PDF