{"id":"https://openalex.org/W7084137402","doi":"https://doi.org/10.1109/case58245.2025.11164019","title":"A Linear Arithmetic Model Reflecting Vertical Object Details in Object Packing and Scheduling for Sequential 3D Printing","display_name":"A Linear Arithmetic Model Reflecting Vertical Object Details in Object Packing and Scheduling for Sequential 3D Printing","publication_year":2025,"publication_date":"2025-08-17","ids":{"openalex":"https://openalex.org/W7084137402","doi":"https://doi.org/10.1109/case58245.2025.11164019"},"language":"en","primary_location":{"id":"doi:10.1109/case58245.2025.11164019","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case58245.2025.11164019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 21st International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Pavel Surynek","orcid":null},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Pavel Surynek","raw_affiliation_strings":["Czech Technical University in Prague,Faculty of Information Technology,Czechia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague,Faculty of Information Technology,Czechia","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Vojt\u011bch Bubn\u00edk","orcid":null},"institutions":[{"id":"https://openalex.org/I3094067312","display_name":"Rusal (Russia)","ror":"https://ror.org/041c2wa38","country_code":"RU","type":"company","lineage":["https://openalex.org/I3094067312"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Vojt\u011bch Bubn\u00edk","raw_affiliation_strings":["Prusa Research,Czechia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Prusa Research,Czechia","institution_ids":["https://openalex.org/I3094067312"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Luk\u00e1\u0161 Mat\u011bna","orcid":null},"institutions":[{"id":"https://openalex.org/I3094067312","display_name":"Rusal (Russia)","ror":"https://ror.org/041c2wa38","country_code":"RU","type":"company","lineage":["https://openalex.org/I3094067312"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Luk\u00e1\u0161 Mat\u011bna","raw_affiliation_strings":["Prusa Research,Czechia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Prusa Research,Czechia","institution_ids":["https://openalex.org/I3094067312"]}]},{"author_position":"last","author":{"id":null,"display_name":"Petr Kubi\u0161","orcid":null},"institutions":[{"id":"https://openalex.org/I3094067312","display_name":"Rusal (Russia)","ror":"https://ror.org/041c2wa38","country_code":"RU","type":"company","lineage":["https://openalex.org/I3094067312"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Petr Kubi\u0161","raw_affiliation_strings":["Prusa Research,Czechia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Prusa Research,Czechia","institution_ids":["https://openalex.org/I3094067312"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.71682087,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1094","last_page":"1100"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6509000062942505,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6509000062942505,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13067","display_name":"Geological Modeling and Analysis","score":0.026200000196695328,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14311","display_name":"Electrical and Electromagnetic Research","score":0.019700000062584877,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.6322000026702881},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5874000191688538},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.5640000104904175},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.5318999886512756},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.5038999915122986},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.49140000343322754},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4343000054359436},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4043000042438507}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.6322000026702881},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6233999729156494},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5874000191688538},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.5640000104904175},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.5318999886512756},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5038999915122986},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.49140000343322754},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4343000054359436},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4043000042438507},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4018000066280365},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38589999079704285},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.37070000171661377},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.3517000079154968},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3416000008583069},{"id":"https://openalex.org/C524769229","wikidata":"https://www.wikidata.org/wiki/Q229367","display_name":"3D printing","level":2,"score":0.3305000066757202},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3179999887943268},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.30979999899864197},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.27480000257492065},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.2736000120639801},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26840001344680786},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.2632000148296356},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.2623000144958496}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/case58245.2025.11164019","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case58245.2025.11164019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 21st International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1481397690","https://openalex.org/W1559424388","https://openalex.org/W2022846948","https://openalex.org/W2077575565","https://openalex.org/W2086037850","https://openalex.org/W2127574686","https://openalex.org/W2158395308","https://openalex.org/W2254077872","https://openalex.org/W2398886006","https://openalex.org/W4206807714","https://openalex.org/W4313186730","https://openalex.org/W4389667770"],"related_works":[],"abstract_inverted_index":{"We":[0,61,74],"address":[1],"the":[2,14,39,48,52,64,69,78,111],"problem":[3,67,79],"of":[4,51,71,105],"object":[5],"arrangement":[6],"and":[7],"scheduling":[8],"for":[9,92],"sequential":[10,29,40,65],"3D":[11,16,30],"printing.":[12],"Unlike":[13],"standard":[15],"printing,":[17,31],"where":[18],"all":[19],"objects":[20,32,106],"are":[21,33],"printed":[22,59],"slice":[23,25],"by":[24,89,118],"at":[26,63],"once,":[27],"in":[28],"completed":[34],"one":[35],"after":[36],"other.":[37],"In":[38],"case,":[41],"it":[42],"is":[43,86,99],"necessary":[44],"to":[45,76,101,127,132],"ensure":[46],"that":[47],"moving":[49],"parts":[50],"printer":[53],"do":[54],"not":[55],"collide":[56],"with":[57],"previously":[58],"objects.":[60],"look":[62],"printing":[66],"from":[68],"perspective":[70],"combinatorial":[72],"optimization.":[73],"propose":[75,114],"express":[77],"as":[80],"a":[81,90,115,129],"linear":[82],"arithmetic":[83],"formula,":[84],"which":[85,124],"then":[87],"solved":[88],"solver":[91],"satisfiability":[93],"modulo":[94],"theories":[95],"(SMT).":[96],"The":[97],"formula":[98],"designed":[100],"take":[102],"vertical":[103],"details":[104],"into":[107],"account.":[108],"To":[109],"solve":[110],"model":[112],"we":[113],"technique":[116],"inspired":[117],"counterexample":[119],"guided":[120],"abstraction":[121],"refinement":[122],"(CEGAR),":[123],"turned":[125],"out":[126],"be":[128],"key":[130],"innovation":[131],"efficiency.":[133]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}