{"id":"https://openalex.org/W2750561661","doi":"https://doi.org/10.4230/lipics.sea.2017.28","title":"Jdrasil: A Modular Library for Computing Tree Decompositions","display_name":"Jdrasil: A Modular Library for Computing Tree Decompositions","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2750561661","doi":"https://doi.org/10.4230/lipics.sea.2017.28","mag":"2750561661"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.SEA.2017.28","pdf_url":null,"source":{"id":"https://openalex.org/S4306420977","display_name":"Symposium on Experimental and Efficient Algorithms","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073994290","display_name":"Max Bannach","orcid":"https://orcid.org/0000-0002-6475-5512"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Max Bannach","raw_affiliation_strings":["University of L\u00fcbeck, L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"University of L\u00fcbeck, L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017991461","display_name":"Sebastian Berndt","orcid":"https://orcid.org/0000-0003-4177-8081"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Berndt","raw_affiliation_strings":["University of L\u00fcbeck, L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"University of L\u00fcbeck, L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021858014","display_name":"Thorsten Ehlers","orcid":"https://orcid.org/0000-0003-3979-0647"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Kiel University","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thorsten Ehlers","raw_affiliation_strings":["Kiel University, Kiel, Germany"],"affiliations":[{"raw_affiliation_string":"Kiel University, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.791,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.834595,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":92},"biblio":{"volume":null,"issue":null,"first_page":"21","last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Automated Software Testing Techniques","score":0.9506,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Automated Software Testing Techniques","score":0.9506,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Performance Optimization","score":0.9485,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9447,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pace","display_name":"Pace","score":0.60058856},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5294045},{"id":"https://openalex.org/keywords/gpu-computing","display_name":"GPU Computing","score":0.485572}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8226129},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.69856644},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6922587},{"id":"https://openalex.org/C2777526511","wikidata":"https://www.wikidata.org/wiki/Q691543","display_name":"Pace","level":2,"score":0.60058856},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5559829},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5300315},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5294045},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5185752},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.48224673},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34352368},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10694942},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.SEA.2017.28","pdf_url":null,"source":{"id":"https://openalex.org/S4306420977","display_name":"Symposium on Experimental and Efficient Algorithms","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W817491301","https://openalex.org/W3149606206","https://openalex.org/W3125738861","https://openalex.org/W3035032999","https://openalex.org/W2949839187","https://openalex.org/W2889117834","https://openalex.org/W2794267717","https://openalex.org/W2788287611","https://openalex.org/W2765808804","https://openalex.org/W2507246977","https://openalex.org/W2273481398","https://openalex.org/W2182281430","https://openalex.org/W2145995610","https://openalex.org/W2083408803","https://openalex.org/W2059372025","https://openalex.org/W2033325972","https://openalex.org/W2000194923","https://openalex.org/W1821762897","https://openalex.org/W1593308684","https://openalex.org/W116289743"],"abstract_inverted_index":{"While":[0],"the":[1,5,13,34,46,60,73,77],"theoretical":[2],"aspects":[3],"concerning":[4],"computation":[6],"of":[7,12,45],"tree":[8],"width":[9],"-":[10,18],"one":[11],"most":[14],"important":[15],"graph":[16],"parameters":[17],"are":[19],"well":[20],"understood,":[21],"it":[22,27],"is":[23],"not":[24],"clear":[25],"how":[26],"can":[28],"be":[29],"computed":[30],"practically.":[31],"We":[32],"present":[33],"open":[35],"source":[36],"Java":[37],"library":[38],"Jdrasil":[39,65],"that":[40,59],"implements":[41],"several":[42],"different":[43],"state":[44],"art":[47],"algorithms":[48],"for":[49],"this":[50],"task.":[51],"By":[52],"experimentally":[53],"comparing":[54],"these":[55],"algorithms,":[56],"we":[57],"show":[58],"default":[61],"choices":[62],"made":[63],"in":[64,76],"lead":[66],"to":[67,85,89],"an":[68],"competitive":[69],"implementation":[70],"(it":[71],"took":[72],"third":[74],"place":[75],"first":[78],"PACE":[79],"challenge)":[80],"while":[81],"also":[82],"being":[83],"easy":[84,88],"use":[86],"and":[87],"extend.":[90]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2750561661","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":10},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":3}],"updated_date":"2024-11-26T02:21:37.305998","created_date":"2017-08-31"}