Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz. Building a Join Optimizer for Soufflé. In Alicia Villanueva, editor, Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Volume 13474 of Lecture Notes in Computer Science, pages 83-102, Springer, 2022. [doi]
Abstract is missing.