Reformulation of Global Constraints in Answer Set Programming
Logic in Computer Science
2010-08-31 v1
Abstract
We show that global constraints on finite domains like all-different can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reformulations offer a number of other advantages beyond providing the power of global propagators to answer set programming. For example, they provide other constraints with access to the state of the propagator by sharing variables. Such sharing can be used to improve propagation between constraints. Experiments with these encodings demonstrate their promise.
Cite
@article{arxiv.1008.5029,
title = {Reformulation of Global Constraints in Answer Set Programming},
author = {Christian Drescher and Toby Walsh},
journal= {arXiv preprint arXiv:1008.5029},
year = {2010}
}
Comments
Proceedings of AAAI'10 Workshop on Abstraction, Reformulation, and Approximation. AAAI Technical Report, WS-10-08, pages 14-19, AAAI Press, 2010