 |
HAL-LIRMM - Open Archive |  |
Conference papers
Strong Bounds Consistencies and Their Application to Linear Constraints
Abstract : We propose two local consistencies that extend bounds consistency (BC) by simultaneously considering com- binations of constraints as opposed to single constraints. We prove that these two local consistencies are both stronger than BC, but are NP-hard to enforce even when constraints are linear. Hence, we propose two polynomial-time techniques to enforce approximations of these two consistencies on linear constraints. One is a reformulation of the constraints on which we enforce BC whereas the other is a polynomial time algorithm. Both achieve stronger pruning than BC. Our experi- ments show large differences in favor of our approaches.
Cited literature [14 references]
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276177
Contributor : Joël Quinqueton <>
Submitted on : Thursday, February 18, 2016 - 9:13:55 PM
Last modification on : Thursday, May 14, 2020 - 6:58:06 PM
Document(s) archivé(s) le : Sunday, November 13, 2016 - 12:06:06 AM
Contributor : Joël Quinqueton <>
Submitted on : Thursday, February 18, 2016 - 9:13:55 PM
Last modification on : Thursday, May 14, 2020 - 6:58:06 PM
Document(s) archivé(s) le : Sunday, November 13, 2016 - 12:06:06 AM
File
aaai15.pdf
Files produced by the author(s)
