5.4.1 Representation

We now introduce the most important variables in our constraint model. Other variables will be introduced later in the course of developing our axiomatization. As in the formal model, a node is identified with the integer representing the position of the corresponding word in the input sentence.

Denys Duchier
Version 1.2.0 (20010221)