{"type":"ScholarlyArticle","title":"Techniques for Efficient Interactive Configuration of Distribution Networks","authors":[{"name":"Tarik Hadzic","slug":"tarik-hadzic","given":"Tarik","family":"Hadzic","affiliation":""},{"name":"Andrzej Wasowski","slug":"andrzej-wasowski","given":"Andrzej","family":"Wasowski","affiliation":""},{"name":"Henrik Reif Andersen","slug":"henrik-reif-andersen","given":"Henrik Reif","family":"Andersen","affiliation":""}],"abstract":"Recovering from power outages is an essential task in distribution of electricity. Our industrial partner postulates that the recovery should be interactive rather than automatic: supporting the operator by preventing choices that destabilize the network.Interactive configurators, successfully used in specifying products and services, support users in selecting logically constrained parameters in a sound, complete and backtrack-free manner. Interactive restoration algorithms based on reduced ordered binary decision diagrams (BDDs) had been developed also for power distribution networks, however they did not scale to the large instances, as BDDs representing these could not be compiled.We discuss the theoretical hardness of the interactive configuration and then provide techniques used to compile two classes of networks. We handle the largest industrial instances available. Our techniques rely on symbolic reachability computation, early variable quantification, domain specific ordering heuristics and conjunctive decomposition.","doi":null,"url":"https://ijcai.org/proceedings/2007/14","pdf":"https://ijcai.org/proceedings/2007/0014.pdf","markdown":"https://ijcai.org/proceedings/2007/14.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/14","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":14,"pages":{"first":100,"last":104},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}