作 者:Ignaz Rutter ;Darren Strash ;Peter Stumpf 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;144:1-15.doi:10.4230/LIPIcs.ESA.2019.80
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:240116599
作 者:Monika Henzinger ;Alexander Noe ;Christian Schulz 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;173:59:1-59:20.doi:10.4230/LIPIcs.ESA.2020.59
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822814
作 者:Hee-Kap Ahn ;Eunjin Oh ;Lena Schlipf 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;101:6:1-6:13.doi:10.4230/LIPIcs.SWAT.2018.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015075
作 者:Shaowei Cai ;Jinkun Lin ;Yiyuan Wang 等
出 处:Journal of Artificial Intelligence Research. 2021 ;72:1-29.doi:10.1613/jair.1.12327
出 版 社:American Association of Artificial
文 章 ID:1037116914