A characterization of efficiently compilable constraint languages.

Christoph Berkholz Stefan Mengel Hermann Wilhelm

Published in: CoRR (2023)

Keyphrases

databases
language identification
artificial intelligence
evolutionary algorithm
object oriented
expressive power
linear constraints
pattern languages
grammatical inference