{"id":"https://openalex.org/W2575733488","doi":"https://doi.org/10.3233/978-1-61499-672-9-810","title":"Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective","display_name":"Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2575733488","doi":"https://doi.org/10.3233/978-1-61499-672-9-810","mag":"2575733488"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-672-9-810","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-672-9-810","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","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/A5031732925","display_name":"Pavel Surynek","orcid":"https://orcid.org/0000-0001-7200-0542"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Surynek Pavel","raw_affiliation_strings":["Charles University, Prague, Czechia"],"affiliations":[{"raw_affiliation_string":"Charles University, Prague, Czechia","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011195666","display_name":"Ariel Felner","orcid":"https://orcid.org/0000-0003-0065-2757"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Felner Ariel","raw_affiliation_strings":["Ben-Gurion University of the Negev, Beersheba, Israel"],"affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Beersheba, Israel","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085970582","display_name":"Roni Stern","orcid":"https://orcid.org/0000-0003-0043-8179"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Stern Roni","raw_affiliation_strings":["Ben-Gurion University of the Negev, Beersheba, Israel"],"affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Beersheba, Israel","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022933130","display_name":"Eli Boyarski","orcid":null},"institutions":[{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Boyarski Eli","raw_affiliation_strings":["Bar-Ilan University, Ramat Gan, Israel"],"affiliations":[{"raw_affiliation_string":"Bar-Ilan University, Ramat Gan, Israel","institution_ids":["https://openalex.org/I13955877"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5031732925"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":null,"apc_paid":null,"fwci":2.7802,"has_fulltext":false,"cited_by_count":118,"citation_normalized_percentile":{"value":0.95566257,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"810","last_page":"818"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.9682999849319458,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/T11106","display_name":"Data Management and Algorithms","score":0.9355999827384949,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/path","display_name":"Path (computing)","score":0.6439048051834106},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5456110835075378},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5013027191162109},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39590850472450256},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3410557210445404},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06903889775276184}],"concepts":[{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6439048051834106},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5456110835075378},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5013027191162109},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39590850472450256},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3410557210445404},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06903889775276184}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-61499-672-9-810","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-672-9-810","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:2575733488","is_oa":false,"landing_page_url":"http://dblp.uni-trier.de/db/conf/ecai/ecai2016.html#SurynekFSB16","pdf_url":null,"source":{"id":"https://openalex.org/S4306418308","display_name":"European Conference on Artificial Intelligence","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":null,"raw_source_name":"European Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"In":[0,16],"the":[1,6,21,25,44,51,71,93,98,107],"multi-agent":[2],"path":[3],"finding":[4],"(MAPF)":[5],"task":[7],"is":[8],"to":[9,56],"find":[10],"non-conflicting":[11],"paths":[12],"for":[13,24],"multiple":[14],"agents.":[15],"this":[17],"paper":[18],"we":[19,53],"present":[20],"first":[22],"SAT-solver":[23],"sum-of-costs":[26,45,103],"variant":[27],"of":[28,61,101],"MAPF":[29],"which":[30],"was":[31],"previously":[32],"only":[33],"solved":[34],"by":[35,73],"search-based":[36,79],"methods.":[37],"Using":[38],"both":[39],"a":[40,58,78],"lower":[41],"bound":[42,49],"on":[43,50,83],"and":[46,109],"an":[47],"upper":[48],"makespan,":[52],"are":[54,89],"able":[55],"have":[57],"reasonable":[59],"number":[60],"variables":[62],"in":[63],"our":[64],"SAT":[65],"encoding.":[66],"We":[67],"then":[68],"further":[69],"improve":[70],"encoding":[72],"borrowing":[74],"ideas":[75],"from":[76],"ICTS,":[77],"solver.":[80],"Experimental":[81],"evaluation":[82],"several":[84],"domains":[85],"showed":[86],"that":[87],"there":[88],"many":[90],"scenarios":[91],"where":[92],"new":[94],"SAT-based":[95],"method":[96],"outperforms":[97],"best":[99],"variants":[100],"previous":[102],"search":[104],"solvers":[105],"-":[106],"ICTS":[108],"ICBS":[110],"algorithms.":[111]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":14},{"year":2021,"cited_by_count":42},{"year":2020,"cited_by_count":14},{"year":2019,"cited_by_count":12},{"year":2018,"cited_by_count":10},{"year":2017,"cited_by_count":3}],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2017-01-26T00:00:00"}