作 者:Pablo Mu{\~n}oz ;Nils Vortmeier ;Thomas Zeume
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;48:14:1-14:18.doi:10.4230/LIPIcs.ICDT.2016.14
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847286