Login / Signup

A Regular Language Membership Constraint for Finite Sequences of Variables.

Gilles Pesant
Published in: CP (2004)
Keyphrases