@misc{indiciae0ade2d10d3e7, title = {Supply Restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planning}, author = {Sylvie Thiebaux and Marie-Odile Cordier and Olivier Jehl and Jean-Paul Krivine}, year = {2013}, url = {https://arxiv.org/abs/1302.3608}, note = {Source identifier: 1302.3608} }