Revising hull and box consistency
Proceedings of the 1999 international conference on Logic programming
Interval arithmetic: From principles to implementation
Journal of the ACM (JACM)
A Foundation for Higher-order Concurrent Constraint Programming
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Constraint programming systems for modeling music theories and composition
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
The problem of reconfiguring power distribution systems to reduce power losses has been extensively studied because of its significant economic impact. A variety of approximation computational models have recently been proposed. We describe a constraint programming model for this problem, using the Mozart system. To handle real world reconfiguration systems we implemented and integrated into Mozart an efficient constraint propagation system for the real numbers. We show how the CP approach leads to a simpler model and allows more flexible control of reconfiguration parameters. We analyze the performance of our system in canonical distribution networks of up to 60 nodes. We describe how the adaptability of the Mozart search engine allows defining effective strategies for tackling a real distribution system reconfiguration of around 600 nodes.