{"id":"https://openalex.org/W2673523407","doi":"https://doi.org/10.1007/978-3-319-66263-3_7","title":"An Adaptive Prefix-Assignment Technique for Symmetry Reduction","display_name":"An Adaptive Prefix-Assignment Technique for Symmetry Reduction","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2673523407","doi":"https://doi.org/10.1007/978-3-319-66263-3_7","mag":"2673523407"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-66263-3_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-66263-3_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.jsc.2019.03.002","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037137004","display_name":"Tommi Junttila","orcid":null},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Tommi Junttila","raw_affiliation_strings":["Aalto University, Department of Computer Science, Finland","[Aalto University,Department of Computer Science]"],"affiliations":[{"raw_affiliation_string":"Aalto University, Department of Computer Science, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"[Aalto University,Department of Computer Science]","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029115114","display_name":"Matti Karppa","orcid":"https://orcid.org/0000-0002-9381-8949"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Matti Karppa","raw_affiliation_strings":["Aalto University, Department of Computer Science, Finland","[Aalto University,Department of Computer Science]"],"affiliations":[{"raw_affiliation_string":"Aalto University, Department of Computer Science, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"[Aalto University,Department of Computer Science]","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055721632","display_name":"Petteri Kaski","orcid":"https://orcid.org/0009-0002-3069-7753"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Petteri Kaski","raw_affiliation_strings":["Aalto University, Department of Computer Science, Finland","[Aalto University,Department of Computer Science]"],"affiliations":[{"raw_affiliation_string":"Aalto University, Department of Computer Science, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"[Aalto University,Department of Computer Science]","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043404047","display_name":"Jukka Kohonen","orcid":"https://orcid.org/0000-0003-4859-1463"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Jukka Kohonen","raw_affiliation_strings":["Aalto University, Department of Computer Science, Finland","[Aalto University,Department of Computer Science]"],"affiliations":[{"raw_affiliation_string":"Aalto University, Department of Computer Science, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"[Aalto University,Department of Computer Science]","institution_ids":["https://openalex.org/I9927081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5029115114","https://openalex.org/A5037137004","https://openalex.org/A5043404047","https://openalex.org/A5055721632"],"corresponding_institution_ids":["https://openalex.org/I9927081"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10311544,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"99","issue":null,"first_page":"101","last_page":"118"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976000189781189,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/prefix","display_name":"Prefix","score":0.6699559092521667},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5633549690246582},{"id":"https://openalex.org/keywords/vertex","display_name":"Vertex (graph theory)","score":0.5623215436935425},{"id":"https://openalex.org/keywords/pairwise-comparison","display_name":"Pairwise comparison","score":0.5485308170318604},{"id":"https://openalex.org/keywords/subroutine","display_name":"Subroutine","score":0.5471625924110413},{"id":"https://openalex.org/keywords/graph-reduction","display_name":"Graph reduction","score":0.5032865405082703},{"id":"https://openalex.org/keywords/homogeneous-space","display_name":"Homogeneous space","score":0.4749486446380615},{"id":"https://openalex.org/keywords/colored","display_name":"Colored","score":0.4263484477996826},{"id":"https://openalex.org/keywords/symmetry-group","display_name":"Symmetry group","score":0.41859152913093567},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.36653661727905273},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36309006810188293},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35559195280075073},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.34757497906684875},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3332584500312805},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3332242965698242},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.09929478168487549}],"concepts":[{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.6699559092521667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5633549690246582},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.5623215436935425},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.5485308170318604},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.5471625924110413},{"id":"https://openalex.org/C97042676","wikidata":"https://www.wikidata.org/wiki/Q5597097","display_name":"Graph reduction","level":3,"score":0.5032865405082703},{"id":"https://openalex.org/C96469262","wikidata":"https://www.wikidata.org/wiki/Q1324364","display_name":"Homogeneous space","level":2,"score":0.4749486446380615},{"id":"https://openalex.org/C2778307483","wikidata":"https://www.wikidata.org/wiki/Q5149038","display_name":"Colored","level":2,"score":0.4263484477996826},{"id":"https://openalex.org/C44306375","wikidata":"https://www.wikidata.org/wiki/Q902019","display_name":"Symmetry group","level":2,"score":0.41859152913093567},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.36653661727905273},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36309006810188293},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35559195280075073},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.34757497906684875},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3332584500312805},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3332242965698242},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.09929478168487549},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-319-66263-3_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-66263-3_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"doi:10.1016/j.jsc.2019.03.002","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.jsc.2019.03.002","pdf_url":null,"source":{"id":"https://openalex.org/S18904315","display_name":"Journal of Symbolic Computation","issn_l":"0747-7171","issn":["0747-7171","1095-855X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Computation","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1706.08325","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1706.08325","pdf_url":"https://arxiv.org/pdf/1706.08325","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2673523407","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1706.08325","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/42910","is_oa":true,"landing_page_url":"https://research.aalto.fi/en/publications/63b4dc34-7768-4886-85d9-53c95855c45a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401663","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"doi:10.48550/arxiv.1706.08325","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1706.08325","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1016/j.jsc.2019.03.002","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.jsc.2019.03.002","pdf_url":null,"source":{"id":"https://openalex.org/S18904315","display_name":"Journal of Symbolic Computation","issn_l":"0747-7171","issn":["0747-7171","1095-855X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2761285720","display_name":null,"funder_award_id":"FP/2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3981126665","display_name":null,"funder_award_id":"Seventh Framework Programme","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5593277320","display_name":null,"funder_award_id":"2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8051717526","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8841511727","display_name":"Theory and Practice of Advanced Search and Enumeration","funder_award_id":"338077","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321394","display_name":"Aalto-Yliopisto","ror":"https://ror.org/020hwjq30"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":66,"referenced_works":["https://openalex.org/W31923072","https://openalex.org/W81665625","https://openalex.org/W81697951","https://openalex.org/W165726963","https://openalex.org/W618980177","https://openalex.org/W1496529478","https://openalex.org/W1547410739","https://openalex.org/W1585305433","https://openalex.org/W1602235267","https://openalex.org/W1964758312","https://openalex.org/W1974805505","https://openalex.org/W1978953840","https://openalex.org/W1982842710","https://openalex.org/W1986272312","https://openalex.org/W1990600049","https://openalex.org/W1999227640","https://openalex.org/W2003590658","https://openalex.org/W2003870914","https://openalex.org/W2004948173","https://openalex.org/W2019865138","https://openalex.org/W2027876313","https://openalex.org/W2035476608","https://openalex.org/W2037593836","https://openalex.org/W2061270859","https://openalex.org/W2065815779","https://openalex.org/W2087983512","https://openalex.org/W2106221905","https://openalex.org/W2270972703","https://openalex.org/W2396950284","https://openalex.org/W2496887343","https://openalex.org/W2499282942","https://openalex.org/W2509462092","https://openalex.org/W2581992031","https://openalex.org/W2593190625","https://openalex.org/W2760767853","https://openalex.org/W3138310563","https://openalex.org/W4230137555","https://openalex.org/W4234295943","https://openalex.org/W4238056933","https://openalex.org/W6603319106","https://openalex.org/W6606756482","https://openalex.org/W6611398456","https://openalex.org/W6629817032","https://openalex.org/W6632930431","https://openalex.org/W6633754418","https://openalex.org/W6633918220","https://openalex.org/W6635981798","https://openalex.org/W6636200306","https://openalex.org/W6638601623","https://openalex.org/W6638740285","https://openalex.org/W6649848904","https://openalex.org/W6657274483","https://openalex.org/W6657687142","https://openalex.org/W6679581376","https://openalex.org/W6681181296","https://openalex.org/W6681458461","https://openalex.org/W6687656297","https://openalex.org/W6695540539","https://openalex.org/W6723449440","https://openalex.org/W6724298153","https://openalex.org/W6725137269","https://openalex.org/W6728861955","https://openalex.org/W6732527061","https://openalex.org/W6742228497","https://openalex.org/W6812348472","https://openalex.org/W6815915619"],"related_works":["https://openalex.org/W143766939","https://openalex.org/W1607064890","https://openalex.org/W2096704006","https://openalex.org/W2479091534","https://openalex.org/W1555882537","https://openalex.org/W2913230220","https://openalex.org/W2095816277","https://openalex.org/W1517186914","https://openalex.org/W1481647759","https://openalex.org/W2974565711","https://openalex.org/W608341459","https://openalex.org/W2198460228","https://openalex.org/W1952494904","https://openalex.org/W2301548481","https://openalex.org/W2040228822","https://openalex.org/W2340540684","https://openalex.org/W3006297133","https://openalex.org/W2137659815","https://openalex.org/W2964343692","https://openalex.org/W1559994276"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,11,16,102,114,147,175],"technique":[4,39,54,143],"for":[5,65,118],"symmetry":[6,33,156],"reduction":[7],"that":[8,21,151,163],"adaptively":[9],"assigns":[10],"prefix":[12,58],"of":[13,18,31,35,52,70,80,91,101,131,141,149],"variables":[14],"in":[15,77],"system":[17],"constraints":[19],"so":[20],"the":[22,29,32,36,53,68,89,98,122,128,142,164],"generated":[23],"prefix-assignments":[24],"are":[25,55],"pairwise":[26],"nonisomorphic":[27],"under":[28],"action":[30],"group":[34,69,90,100],"system.":[37],"The":[38],"is":[40,86],"based":[41],"on":[42,113,157],"McKay's":[43],"canonical":[44,115],"extension":[45],"framework":[46],"(McKay,":[47],"1998).":[48],"Among":[49],"key":[50],"features":[51],"(i)":[56],"adaptability\u2014the":[57],"sequence":[59],"can":[60,74,93,109],"be":[61,75,94,110],"user-prescribed":[62],"and":[63,105,144],"truncated":[64],"compatibility":[66],"with":[67,171],"symmetries;":[71],"(ii)":[72],"parallelizability\u2014prefix-assignments":[73],"processed":[76],"parallel":[78],"independently":[79],"each":[81],"other;":[82],"(iii)":[83],"versatility\u2014the":[84],"method":[85,108],"applicable":[87],"whenever":[88],"symmetries":[92],"concisely":[95],"represented":[96],"as":[97,121],"automorphism":[99],"vertex-colored":[103,119],"graph;":[104],"(iv)":[106],"implementability\u2014the":[107],"implemented":[111],"relying":[112],"labeling":[116],"map":[117],"graphs":[120],"only":[123],"nontrivial":[124],"subroutine.":[125],"To":[126],"demonstrate":[127,152,162],"practical":[129],"applicability":[130],"our":[132],"technique,":[133],"we":[134,161],"have":[135],"prepared":[136],"an":[137],"experimental":[138],"open-source":[139],"implementation":[140,165],"carry":[145],"out":[146],"set":[148],"experiments":[150],"ability":[153],"to":[154,168],"reduce":[155],"hard":[158],"instances.":[159],"Furthermore,":[160],"effectively":[166],"parallelizes":[167],"compute":[169],"clusters":[170],"multiple":[172],"nodes":[173],"via":[174],"message-passing":[176],"interface.":[177]},"counts_by_year":[],"updated_date":"2026-03-29T08:15:47.926485","created_date":"2025-10-10T00:00:00"}