12 citations · 12 across the 1 of their papers we have counts for
1 paper
Reinhard Pichler, Stefan Rümmele, Stefan Szeider +1
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relate…