Journal Title
Title of Journal: Constraints
|
|
|
|
|
|
Authors: Serdar Kadioglu Meinolf Sellmann
Publish Date: 2009/07/10
Volume: 15, Issue: 1, Pages: 117-144
Abstract
With the introduction of the Regular Membership Constraint a new line of research has opened where constraints are based on formal languages This paper is taking the next step namely to investigate constraints based on grammars higher up in the Chomsky hierarchy We devise a time and spaceefficient incremental arcconsistency algorithm for contextfree grammars investigate when logic combinations of grammar constraints are tractable show how to exploit nonconstant size grammars and reorderings of languages and study where the boundaries run between regular contextfree and contextsensitive grammar filtering
Keywords:
.
|
Other Papers In This Journal:
|