资源论文Open Contractible Global Constraints

Open Contractible Global Constraints

2019-11-15 | |  81 |   38 |   0

Abstract Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for diffificult constraint programming problems where problem construction and problem solving are interleaved. However, in general, fifiltering that is sound for a global constraint can be unsound when the constraint is open. This paper provides a simple characterization, called contractibility, of the constraints where fifiltering remains sound when the constraint is open. With this characterization we can easily determine whether a constraint is contractible or not. In the latter case, we can use it to derive the strongest contractible approximation to the constraint. We demonstrate how specifific algorithms for some closed contractible constraints are easily adapted to open constraints

上一篇:A Divide-and-Conquer Approach for Solving Interval Algebra Networks

下一篇:Evaluating Strategies for Running from the Cops

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...