作　　者：Savani, Rahul ;Mnich, Matthias ;Gairing, Martin 等

出　　处：Logical Methods in Computer Science. 2021 ;17(2):1-29.

出 版 社：Technical University of Braunschweig

文 章 ID：1035318259

作　　者：Göke, Alexander ;Koenemann, Jochen ;Mnich, Matthias 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;207.doi:10.4230/LIPIcs.APPROX/RANDOM.2021.25

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：1037088888