120
click to vote
CONSTRAINTS
2008
15 years 3 months ago
2008
We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...