Analysis, synthesis and application of automaton-based constraint descriptions
Francisco Javier Iglesias Rodríguez, María Andreina · 2017
Constraint programming (CP) is a technology in which a combinatorial problem is modelled as a conjunction of constraints on variables ranging over given initial domains, and optionally an objective ...