# Domain Views for Constraint Programming

21 Jan 2014Pascal Van HentenryckLaurent Michel

Views are a standard abstraction in constraint programming: They make it possible to implement a single version of each constraint, while avoiding to create new variables and constraints that would slow down propagation. Traditional constraint-programming systems provide the concept of {\em variable views} which implement a view of the type $y = f(x)$ by delegating all (domain and constraint) operations on variable $y$ to variable $x$... (read more)

PDF Abstract