%0 Conference Paper %1 conf/wea/BannachBE17 %A Bannach, Max %A Berndt, Sebastian %A Ehlers, Thorsten %B SEA %D 2017 %E Iliopoulos, Costas S. %E Pissis, Solon P. %E Puglisi, Simon J. %E Raman, Rajeev %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 28:1-28:21 %T Jdrasil: A Modular Library for Computing Tree Decompositions. %U http://dblp.uni-trier.de/db/conf/wea/sea2017.html#BannachBE17 %V 75 %@ 978-3-95977-036-1

@inproceedings{conf/wea/BannachBE17, added-at = {2023-12-14T15:04:14.000+0100}, author = {Bannach, Max and Berndt, Sebastian and Ehlers, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/25a36434e88db131b529d687ed40d7c27/admin}, booktitle = {SEA}, crossref = {conf/wea/2017}, editor = {Iliopoulos, Costas S. and Pissis, Solon P. and Puglisi, Simon J. and Raman, Rajeev}, ee = {https://doi.org/10.4230/LIPIcs.SEA.2017.28}, interhash = {e6cffb2b06890b969a337dc59051d591}, intrahash = {5a36434e88db131b529d687ed40d7c27}, isbn = {978-3-95977-036-1}, keywords = {}, pages = {28:1-28:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-14T15:04:14.000+0100}, title = {Jdrasil: A Modular Library for Computing Tree Decompositions.}, url = {http://dblp.uni-trier.de/db/conf/wea/sea2017.html#BannachBE17}, volume = 75, year = 2017 }