A Characterization of Efficiently Compilable Constraint Languages.

Christoph Berkholz, Stefan Mengel, Hermann Wilhelm

Browse the full STACS paper archive.