Realizability of Graph Specifications: Characterizations and Algorithms

Amotz Bar-Noy, Keerti Choudhary, David Peleg, Dror Rawitz. Realizability of Graph Specifications: Characterizations and Algorithms. In Zvi Lotker, Boaz Patt-Shamir, editors, Structural Information and Communication Complexity - 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers. Volume 11085 of Lecture Notes in Computer Science, pages 3-13, Springer, 2018. [doi]

Abstract

Abstract is missing.