{"id":"https://openalex.org/W4412897666","doi":"https://doi.org/10.1007/978-3-031-99984-0_38","title":"Unfolding Boxes with Local Constraints","display_name":"Unfolding Boxes with Local Constraints","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412897666","doi":"https://doi.org/10.1007/978-3-031-99984-0_38"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-99984-0_38","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-99984-0_38","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-031-99984-0_38","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101963221","display_name":"Long Qian","orcid":"https://orcid.org/0000-0003-1567-3948"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Long Qian","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021234665","display_name":"E. Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eric Wang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030108071","display_name":"Bernardo Subercaseaux","orcid":"https://orcid.org/0000-0003-2295-1299"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bernardo Subercaseaux","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5025921874","display_name":"Marijn J. H. Heule","orcid":"https://orcid.org/0000-0002-5587-8801"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marijn J. H. Heule","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101963221"],"corresponding_institution_ids":[],"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.47733333,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"736","last_page":"754"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12504","display_name":"Mathematics and Applications","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12504","display_name":"Mathematics and Applications","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.9559000134468079,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.945900022983551,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/computer-science","display_name":"Computer science","score":0.815639078617096},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3469219207763672}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.815639078617096},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3469219207763672}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-99984-0_38","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-99984-0_38","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-99984-0_38","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-99984-0_38","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1514300868","https://openalex.org/W2498484458","https://openalex.org/W2596813697","https://openalex.org/W3185307588","https://openalex.org/W4238518651","https://openalex.org/W4288094484","https://openalex.org/W4293395834","https://openalex.org/W4400973078","https://openalex.org/W6610537764"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109"],"abstract_inverted_index":{"Abstract":[0],"We":[1,40],"consider":[2],"the":[3,49,101,164],"problem":[4],"of":[5,51,103,120,171,178],"finding":[6],"and":[7,29,66,106,132,161],"enumerating":[8,107],"polyominos":[9],"that":[10,42,82,91],"can":[11],"be":[12],"folded":[13],"into":[14],"multiple":[15],"non-isomorphic":[16],"boxes.":[17],"While":[18],"several":[19],"computational":[20],"approaches":[21,114,136],"have":[22,92],"been":[23,34],"proposed,":[24],"including":[25],"SAT,":[26],"randomized":[27],"algorithms,":[28],"decision":[30],"diagrams,":[31],"none":[32],"has":[33],"able":[35,139],"to":[36,63,70,124,140,145,151,156],"perform":[37],"at":[38],"scale.":[39],"argue":[41],"existing":[43],"SAT":[44],"encodings":[45],"are":[46,60],"hindered":[47],"by":[48],"presence":[50],"global":[52,85],"constraints":[53,86,90],"(e.g.,":[54],"graph":[55],"connectivity":[56],"or":[57],"acyclicity),":[58],"which":[59],"generally":[61],"hard":[62,67],"encode":[64],"effectively":[65],"for":[68],"solvers":[69],"reason":[71],"about.":[72],"In":[73],"this":[74],"work,":[75],"we":[76],"propose":[77],"a":[78,168,176],"new":[79],"SAT-based":[80],"approach":[81,98],"replaces":[83],"these":[84],"with":[87],"simple":[88],"local":[89],"substantially":[93],"better":[94],"propagation":[95],"properties.":[96],"Our":[97],"dramatically":[99],"improves":[100],"scalability":[102],"both":[104],"computing":[105],"common":[108,118,142,169],"box":[109],"unfoldings:":[110],"(i)":[111],"while":[112,134],"previous":[113,135],"could":[115],"only":[116,138],"find":[117],"unfoldings":[119,143],"two":[121],"boxes":[122],"up":[123,144,150],"area":[125,146],"88,":[126],"ours":[127,148],"easily":[128],"scales":[129,149],"beyond":[130],"150,":[131],"(ii)":[133],"were":[137],"enumerate":[141],"30,":[147],"60.":[152],"This":[153],"allows":[154],"us":[155],"rule":[157],"out":[158],"46,":[159],"54,":[160],"58":[162],"as":[163],"smallest":[165],"areas":[166],"allowing":[167],"unfolding":[170],"three":[172],"boxes,":[173],"thereby":[174],"refuting":[175],"conjecture":[177],"Xu":[179],"et":[180],"al.":[181],"(2017).":[182]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}