TY - RPRT TI - Supply Restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planning AU - Sylvie Thiebaux AU - Marie-Odile Cordier AU - Olivier Jehl AU - Jean-Paul Krivine PY - 2013 UR - https://arxiv.org/abs/1302.3608 ID - 1302.3608 ER -