Conference Publication Details
Mandatory Fields
Cambazard, H., O'Sullivan, B.
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
Reformulating Positive Table Constraints Using Functional Dependencies
2008
September
Published
0
Scopus: 3 ()
Optional Fields
Peter J. Stuckey
418
432
Sydney
Constraints that are defined by tables of allowed tuples of assignments are common in constraint programming. In this paper we present an approach to reformulating table constraints of large arity into a conjunction of lower arity constraints. Our approach exploits functional dependencies. We study the complexity of finding reformulations that either minimize the memory size or arity of a constraint using a set of its functional dependencies. We also present an algorithm to compute such reformulations. We show that our technique is complementary to existing approaches for compressing extensional constraints. © 2008 Springer-Verlag Berlin Heidelberg.
http://www.scopus.com/inward/record.url?eid=2-s2.0-56449087084&partnerID=40&md5=40f06746eb71ac22b57e6e40673be528
10.1007/978-3-540-85958-1_28
Grant Details