TY  - JOUR
N2  - We propose an algebraic approach to the design and transformation of constraint networks, inspired by Architectural Design Rewriting. The approach can be understood as (i) an extension of ADR with constraints, and (ii) an application of ADR to the design of reconfigurable constraint networks. The main idea is to consider classes of constraint networks as algebras whose operators are used to denote constraint networks with terms. Constraint network transformations such as constraint propagations are specified with rewrite rules exploiting the network?s structure provided by terms.
TI  - Constraint Design Rewriting
A1  - Bruni, Roberto
A1  - Lluch-Lafuente, Alberto
A1  - Montanari, Ugo
Y1  - 2013/12//
PB  - Elsevier
UR  - http://www.sciencedirect.com/science/article/pii/S0167642313002992
SN  - 0167-6423
AV  - public
JF  - Science of Computer Programming
ID  - eprints2057
ER  -