{"id":"https://openalex.org/W3049715010","doi":"https://doi.org/10.1109/tase.2020.3012879","title":"Using CP/SMT Solvers for Scheduling and Routing of AGVs","display_name":"Using CP/SMT Solvers for Scheduling and Routing of AGVs","publication_year":2020,"publication_date":"2020-08-14","ids":{"openalex":"https://openalex.org/W3049715010","doi":"https://doi.org/10.1109/tase.2020.3012879","mag":"3049715010"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2020.3012879","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2020.3012879","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-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":"https://openalex.org/A5009533548","display_name":"Sarmad Riazi","orcid":"https://orcid.org/0000-0002-8450-311X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sarmad Riazi","raw_affiliation_strings":["AGVE, Askim, AB, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-8450-311X","affiliations":[{"raw_affiliation_string":"AGVE, Askim, AB, Sweden","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076331540","display_name":"Bengt Lennartson","orcid":"https://orcid.org/0000-0002-3406-3881"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Bengt Lennartson","raw_affiliation_strings":["Automation Research Group, Chalmers University of Technology, Gothenborg, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-3406-3881","affiliations":[{"raw_affiliation_string":"Automation Research Group, Chalmers University of Technology, Gothenborg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.8106,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.91586711,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"18","issue":"1","first_page":"218","last_page":"229"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11814","display_name":"Advanced Manufacturing and Logistics Optimization","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11814","display_name":"Advanced Manufacturing and Logistics Optimization","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10567","display_name":"Vehicle Routing Optimization Methods","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6742703914642334},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6600298881530762},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6555748581886292},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6376292705535889},{"id":"https://openalex.org/keywords/job-shop-scheduling","display_name":"Job shop scheduling","score":0.5092920064926147},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5053651928901672},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.48987239599227905},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.48846593499183655},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41311824321746826},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.16472434997558594},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.11327686905860901}],"concepts":[{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6742703914642334},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6600298881530762},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6555748581886292},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6376292705535889},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.5092920064926147},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5053651928901672},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.48987239599227905},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.48846593499183655},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41311824321746826},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.16472434997558594},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.11327686905860901},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tase.2020.3012879","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2020.3012879","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},{"id":"pmh:oai:research.chalmers.se:522063","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/522063","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6100000143051147,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G8511638207","display_name":null,"funder_award_id":"RUN 612-0974-13","funder_id":"https://openalex.org/F4320309605","funder_display_name":"V\u00e4stra G\u00f6talandsregionen"}],"funders":[{"id":"https://openalex.org/F4320309605","display_name":"V\u00e4stra G\u00f6talandsregionen","ror":"https://ror.org/00a4x6777"},{"id":"https://openalex.org/F4320321030","display_name":"VINNOVA","ror":"https://ror.org/01kd5m353"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1497519077","https://openalex.org/W1549880792","https://openalex.org/W1733489975","https://openalex.org/W1994917823","https://openalex.org/W2004867005","https://openalex.org/W2021709881","https://openalex.org/W2067884717","https://openalex.org/W2099561150","https://openalex.org/W2108666666","https://openalex.org/W2126218710","https://openalex.org/W2165567948","https://openalex.org/W2169427658","https://openalex.org/W2169528473","https://openalex.org/W2301790113","https://openalex.org/W2333519783","https://openalex.org/W2337098149","https://openalex.org/W2426452510","https://openalex.org/W2462341707","https://openalex.org/W2529918221","https://openalex.org/W2561555555","https://openalex.org/W2765883527","https://openalex.org/W2790098940","https://openalex.org/W2903666872","https://openalex.org/W2970652714","https://openalex.org/W2974154961","https://openalex.org/W3003137179","https://openalex.org/W4242995941","https://openalex.org/W4249885861","https://openalex.org/W6702945871"],"related_works":["https://openalex.org/W2058965144","https://openalex.org/W2164382479","https://openalex.org/W2146343568","https://openalex.org/W98480971","https://openalex.org/W2150291671","https://openalex.org/W2027972911","https://openalex.org/W2013643406","https://openalex.org/W2157978810","https://openalex.org/W2597809628","https://openalex.org/W3046370962"],"abstract_inverted_index":{"An":[0],"improved":[1,221],"method":[2,222],"for":[3,113,190],"solving":[4],"conflict-free":[5,95],"scheduling":[6,98],"and":[7,35,69,97,126,137,172,184,208,242],"routing":[8,96,209],"of":[9,29,38,80,94,99,179,196],"automated":[10,100],"guided":[11,101],"vehicles":[12,102,169],"is":[13,22,47,60,142,162,195],"proposed":[14,88],"in":[15,104,210,235],"this":[16,216,225],"article,":[17,217],"with":[18,187,227,237],"promising":[19,228],"results.":[20,229],"This":[21],"achieved":[23],"by":[24],"reformulating":[25],"the":[26,30,77,87,129,149,204],"mathematical":[27],"model":[28],"problem,":[31],"including":[32],"several":[33],"improvements":[34],"speedup":[36],"strategies":[37],"an":[39,63,110,220],"existing":[40,130],"Benders":[41],"decomposition":[42],"method.":[43],"A":[44],"new":[45],"heuristic":[46,131],"also":[48,177],"presented":[49],"that":[50,202],"quickly":[51],"yields":[52],"high-quality":[53],"solutions.":[54],"Moreover,":[55],"a":[56,70,211,238,246],"real-large-scale":[57,247],"industrial":[58,248],"instance":[59,249],"solved":[61],"using":[62],"open-source":[64],"satisfiability":[65],"module":[66],"theories":[67],"solver":[68],"commercial":[71],"constraint":[72],"programming":[73],"solver.":[74],"According":[75],"to":[76,91,132,145,164,167,170,181,198,223],"results,":[78],"both":[79],"these":[81,118],"general-purpose":[82],"solvers":[83],"can":[84],"effectively":[85],"solve":[86],"models.":[89],"Note":[90],"Practitioners-The":[92],"problem":[93],"(AGVs)":[103],"large-scale":[105],"manufacturing":[106],"systems":[107],"has":[108],"been":[109],"ever-present":[111],"challenge":[112],"many":[114],"AGV":[115,140,192,240],"companies.":[116],"Although":[117],"companies":[119],"have":[120,231,244],"developed":[121,232],"rather":[122],"efficient":[123,157,213],"control":[124],"policies":[125],"algorithms,":[127],"retrofitting":[128],"future's":[133],"denser,":[134],"more":[135,138,212],"complicated,":[136],"demanding":[139],"layouts":[141],"not":[143,153],"guaranteed":[144],"be":[146,155],"easy.":[147],"Furthermore,":[148],"installed":[150],"system":[151],"will":[152],"necessarily":[154],"as":[156,158,250],"expected.":[159],"Currently,":[160],"it":[161,194],"common":[163],"use":[165],"heuristics":[166],"allocate":[168],"orders":[171],"route":[173],"them.":[174],"There":[175],"are":[176],"rules":[178],"thumbs":[180],"avoid":[182],"collisions":[183],"deadlocks.":[185],"However,":[186],"increasing":[188],"demand":[189],"high-performance":[191],"solutions,":[193],"interest":[197],"employ":[199],"optimization":[200],"algorithms":[201],"handle":[203],"order":[205],"allocation,":[206],"scheduling,":[207],"way.":[214],"In":[215],"we":[218,243],"present":[219],"tackle":[224],"issue,":[226],"We":[230],"our":[233,251],"work":[234],"collaboration":[236],"Swedish":[239],"company,":[241],"investigated":[245],"case":[252],"study.":[253]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}