Toby Walsh National ICT Australia and University of New South Wales www.cse.unsw.edu.au/~tw Joint work with Claude-Guy Quimper To be presented at CP06. Global Grammar Constraints . Global grammar constraints. Often easy to specify a global constraint ALLDIFFERENT([X1,..Xn]) iff
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Xi=/=Xj for i<j
string in some formal language
string accepted by the grammar/automata
DFA goes from state Qi to Qi+1 on symbol Xi
Simultaneously and independently proposed by Sellmannn [CP06]