Finite Domain modeling and solving in the Monadic Constraint Programming framework
Pieter Wuille, Tom Schrijvers · Lirias · 2010
High-level Constraint Programming (CP) languages are an active topic of re-search. We subdivide existing languages in two classes: • Modeling languages: stand-alone languages whose programs are mapped to one or more constraint solver backends. They are usually highly declarative