var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://bercher.net/bibtex/03-Lauer/all.bib\",\"theme\":\"default\",\"fullnames\":\"1\",\"jsonp\":\"1\",\"hidemenu\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"aMAZEing Programming—Providing SKILLs to Fellow Students\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Gros\"],\"firstnames\":[\"Timo\",\"P\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Held\"],\"firstnames\":[\"Pascal\",\"L\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Lauer\"],\"firstnames\":[\"Pascal\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Metzger\"],\"firstnames\":[\"Niklas\",\"O\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Weis\"],\"firstnames\":[\"Kallistos\"],\"suffixes\":[]}],\"journal\":\"SKILL 2019-Studierendenkonferenz Informatik\",\"year\":\"2019\",\"publisher\":\"Gesellschaft für Informatik eV\",\"bibtex\":\"@article{gros2019amazeing,\\n  title     = {aMAZEing Programming—Providing SKILLs to Fellow Students},\\n  author    = {Gros, Timo P and Held, Pascal L and Lauer, Pascal and Metzger, Niklas O and Weis, Kallistos},\\n  journal   = {SKILL 2019-Studierendenkonferenz Informatik},\\n  year      = {2019},\\n  publisher = {Gesellschaft f{\\\\\\\"u}r Informatik eV}\\n}\\n\\n\",\"author_short\":[\"Gros, T. P\",\"Held, P. L\",\"Lauer, P.\",\"Metzger, N. O\",\"Weis, K.\"],\"key\":\"gros2019amazeing\",\"id\":\"gros2019amazeing\",\"bibbaseid\":\"gros-held-lauer-metzger-weis-amazeingprogrammingprovidingskillstofellowstudents-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"lauer, p\":\"https://bercher.net/phd-students/current/pascal-lauer\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Beating LM-cut with LM-cut: Quick Cutting and Practical Tie Breaking for the Precondition Choice Function\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Lauer\"],\"firstnames\":[\"Pascal\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Fickert\"],\"firstnames\":[\"Maximilian\"],\"suffixes\":[]}],\"journal\":\"HSDIP 2020\",\"pages\":\"9\",\"year\":\"2020\",\"bibtex\":\"@article{lauer2020lmcut,\\n  title   = {Beating LM-cut with LM-cut: Quick Cutting and Practical Tie Breaking for the Precondition Choice Function},\\n  author  = {Lauer, Pascal and Fickert, Maximilian},\\n  journal = {HSDIP 2020},\\n  pages   = {9},\\n  year    = {2020}\\n}\\n\\n\",\"author_short\":[\"Lauer, P.\",\"Fickert, M.\"],\"key\":\"lauer2020lmcut\",\"id\":\"lauer2020lmcut\",\"bibbaseid\":\"lauer-fickert-beatinglmcutwithlmcutquickcuttingandpracticaltiebreakingforthepreconditionchoicefunction-2020\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"lauer, p\":\"https://bercher.net/phd-students/current/pascal-lauer\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Lauer\"],\"firstnames\":[\"Pascal\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Torralba\"],\"firstnames\":[\"Alvaro\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Fiser\"],\"firstnames\":[\"Daniel\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Höller\"],\"firstnames\":[\"Daniel\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Wichlacz\"],\"firstnames\":[\"Julia\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Hoffmann\"],\"firstnames\":[\"Joerg\"],\"suffixes\":[]}],\"year\":\"2021\",\"booktitle\":\"Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)\",\"pages\":\"4119–4126\",\"publisher\":\"IJCAI organization\",\"bibtex\":\"@inproceedings{lauer2021polytime,\\n   title     = {Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning},\\n   author    = {Lauer, Pascal and Torralba, Alvaro and Fiser, Daniel and H\\\\\\\"{o}ller, Daniel and Wichlacz, Julia and Hoffmann, Joerg},\\n   year      = {2021},\\n   booktitle = {Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)},\\n   pages     = {4119--4126},\\n   publisher = {IJCAI organization}\\n}\\n\",\"author_short\":[\"Lauer, P.\",\"Torralba, A.\",\"Fiser, D.\",\"Höller, D.\",\"Wichlacz, J.\",\"Hoffmann, J.\"],\"key\":\"lauer2021polytime\",\"id\":\"lauer2021polytime\",\"bibbaseid\":\"lauer-torralba-fiser-hller-wichlacz-hoffmann-polynomialtimeinpddlinputsizemakingthedeleterelaxationfeasibleforliftedplanning-2021\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"lauer, p\":\"https://bercher.net/phd-students/current/pascal-lauer\"}},\"html\":\"\"}],\n      metadata: {\"owner\":\"lauer, p\",\"authorlinks\":{\"lauer, p\":\"https://bercher.net/phd-students/current/pascal-lauer\"}},\n      ownerID: \"gEpSXQpdZi7qpnDbo\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"display: none\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"all.bib\" href=\"data:text/bibtex;base64,QGFydGljbGV7Z3JvczIwMTlhbWF6ZWluZywKICB0aXRsZSAgICAgPSB7YU1BWkVpbmcgUHJvZ3JhbW1pbmfigJRQcm92aWRpbmcgU0tJTExzIHRvIEZlbGxvdyBTdHVkZW50c30sCiAgYXV0aG9yICAgID0ge0dyb3MsIFRpbW8gUCBhbmQgSGVsZCwgUGFzY2FsIEwgYW5kIExhdWVyLCBQYXNjYWwgYW5kIE1ldHpnZXIsIE5pa2xhcyBPIGFuZCBXZWlzLCBLYWxsaXN0b3N9LAogIGpvdXJuYWwgICA9IHtTS0lMTCAyMDE5LVN0dWRpZXJlbmRlbmtvbmZlcmVueiBJbmZvcm1hdGlrfSwKICB5ZWFyICAgICAgPSB7MjAxOX0sCiAgcHVibGlzaGVyID0ge0dlc2VsbHNjaGFmdCBme1widX1yIEluZm9ybWF0aWsgZVZ9Cn0KCgoKQGFydGljbGV7bGF1ZXIyMDIwbG1jdXQsCiAgdGl0bGUgICA9IHtCZWF0aW5nIExNLWN1dCB3aXRoIExNLWN1dDogUXVpY2sgQ3V0dGluZyBhbmQgUHJhY3RpY2FsIFRpZSBCcmVha2luZyBmb3IgdGhlIFByZWNvbmRpdGlvbiBDaG9pY2UgRnVuY3Rpb259LAogIGF1dGhvciAgPSB7TGF1ZXIsIFBhc2NhbCBhbmQgRmlja2VydCwgTWF4aW1pbGlhbn0sCiAgam91cm5hbCA9IHtIU0RJUCAyMDIwfSwKICBwYWdlcyAgID0gezl9LAogIHllYXIgICAgPSB7MjAyMH0KfQoKCgpAaW5wcm9jZWVkaW5nc3tsYXVlcjIwMjFwb2x5dGltZSwKICAgdGl0bGUgICAgID0ge1BvbHlub21pYWwtVGltZSBpbiBQRERMIElucHV0IFNpemU6IE1ha2luZyB0aGUgRGVsZXRlIFJlbGF4YXRpb24gRmVhc2libGUgZm9yIExpZnRlZCBQbGFubmluZ30sCiAgIGF1dGhvciAgICA9IHtMYXVlciwgUGFzY2FsIGFuZCBUb3JyYWxiYSwgQWx2YXJvIGFuZCBGaXNlciwgRGFuaWVsIGFuZCBIXCJ7b31sbGVyLCBEYW5pZWwgYW5kIFdpY2hsYWN6LCBKdWxpYSBhbmQgSG9mZm1hbm4sIEpvZXJnfSwKICAgeWVhciAgICAgID0gezIwMjF9LAogICBib29rdGl0bGUgPSB7UHJvY2VlZGluZ3Mgb2YgdGhlIDMwdGggSW50ZXJuYXRpb25hbCBKb2ludCBDb25mZXJlbmNlIG9uIEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlIChJSkNBSSAyMDIxKX0sCiAgIHBhZ2VzICAgICA9IHs0MTE5LS00MTI2fSwKICAgcHVibGlzaGVyID0ge0lKQ0FJIG9yZ2FuaXphdGlvbn0KfQo=\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://bercher.net/bibtex/03-Lauer/all.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://bercher.net/bibtex/03-Lauer/all.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https://bercher.net/bibtex/03-Lauer/all.bib&amp;theme=default&amp;fullnames=1&amp;jsonp=1&amp;hidemenu=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https://bercher.net/bibtex/03-Lauer/all.bib&amp;theme=default&amp;fullnames=1&amp;jsonp=1&amp;hidemenu=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https://bercher.net/bibtex/03-Lauer/all.bib&amp;theme=default&amp;fullnames=1&amp;jsonp=1&amp;hidemenu=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"lauer-torralba-fiser-hller-wichlacz-hoffmann-polynomialtimeinpddlinputsizemakingthedeleterelaxationfeasibleforliftedplanning-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Pascal Lauer;  Alvaro Torralba;  Daniel Fiser;  Daniel Höller;  Julia Wichlacz;  and  Joerg Hoffmann.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)</i>, pages 4119–4126,  2021. IJCAI organization\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/lauer-torralba-fiser-hller-wichlacz-hoffmann-polynomialtimeinpddlinputsizemakingthedeleterelaxationfeasibleforliftedplanning-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('lauer-torralba-fiser-hller-wichlacz-hoffmann-polynomialtimeinpddlinputsizemakingthedeleterelaxationfeasibleforliftedplanning-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{lauer2021polytime,\n   title     = {Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning},\n   author    = {Lauer, Pascal and Torralba, Alvaro and Fiser, Daniel and H\\&quot;{o}ller, Daniel and Wichlacz, Julia and Hoffmann, Joerg},\n   year      = {2021},\n   booktitle = {Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)},\n   pages     = {4119--4126},\n   publisher = {IJCAI organization}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2020\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2020')\"\n      onkeypress=\"toggleGroup('group_2020')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2020</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"lauer-fickert-beatinglmcutwithlmcutquickcuttingandpracticaltiebreakingforthepreconditionchoicefunction-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Beating LM-cut with LM-cut: Quick Cutting and Practical Tie Breaking for the Precondition Choice Function.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Pascal Lauer;  and  Maximilian Fickert.\n</span>\n\n  \n\n</span>\n\n  <i>HSDIP 2020</i>,9.  2020.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/lauer-fickert-beatinglmcutwithlmcutquickcuttingandpracticaltiebreakingforthepreconditionchoicefunction-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('lauer-fickert-beatinglmcutwithlmcutquickcuttingandpracticaltiebreakingforthepreconditionchoicefunction-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{lauer2020lmcut,\n  title   = {Beating LM-cut with LM-cut: Quick Cutting and Practical Tie Breaking for the Precondition Choice Function},\n  author  = {Lauer, Pascal and Fickert, Maximilian},\n  journal = {HSDIP 2020},\n  pages   = {9},\n  year    = {2020}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2019\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2019')\"\n      onkeypress=\"toggleGroup('group_2019')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2019</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"gros-held-lauer-metzger-weis-amazeingprogrammingprovidingskillstofellowstudents-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  aMAZEing Programming—Providing SKILLs to Fellow Students.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Timo P Gros;  Pascal L Held;  Pascal Lauer;  Niklas O Metzger;  and  Kallistos Weis.\n</span>\n\n  \n\n</span>\n\n  <i>SKILL 2019-Studierendenkonferenz Informatik</i>.  2019.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/gros-held-lauer-metzger-weis-amazeingprogrammingprovidingskillstofellowstudents-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('gros-held-lauer-metzger-weis-amazeingprogrammingprovidingskillstofellowstudents-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{gros2019amazeing,\n  title     = {aMAZEing Programming—Providing SKILLs to Fellow Students},\n  author    = {Gros, Timo P and Held, Pascal L and Lauer, Pascal and Metzger, Niklas O and Weis, Kallistos},\n  journal   = {SKILL 2019-Studierendenkonferenz Informatik},\n  year      = {2019},\n  publisher = {Gesellschaft f{\\&quot;u}r Informatik eV}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);