1 paper · 1 filter
Heyang Li, Anthony Widjaja Lin, Domagoj VrgoÄ
Constraints are powerful declarative constructs that allow users to conveniently restrict variable values that potentially range over an infinite domain. In this paper, we propose…