{"id":"https://openalex.org/W4415904750","doi":"https://doi.org/10.24963/kr.2025/79","title":"Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning","display_name":"Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning","publication_year":2025,"publication_date":"2025-11-01","ids":{"openalex":"https://openalex.org/W4415904750","doi":"https://doi.org/10.24963/kr.2025/79"},"language":null,"primary_location":{"id":"doi:10.24963/kr.2025/79","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/79","pdf_url":"https://proceedings.kr.org/2025/79/kr2025-0079-hoft-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2025/79/kr2025-0079-hoft-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092379246","display_name":"Paul H\u00f6ft","orcid":null},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Paul H\u00f6ft","raw_affiliation_strings":["Link\u00f6ping University"],"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030844531","display_name":"David Speck","orcid":"https://orcid.org/0000-0002-5493-7363"},"institutions":[{"id":"https://openalex.org/I1850255","display_name":"University of Basel","ror":"https://ror.org/02s6k3f65","country_code":"CH","type":"education","lineage":["https://openalex.org/I1850255"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"David Speck","raw_affiliation_strings":["University of Basel"],"affiliations":[{"raw_affiliation_string":"University of Basel","institution_ids":["https://openalex.org/I1850255"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031089257","display_name":"Jendrik Seipp","orcid":"https://orcid.org/0000-0002-2498-8020"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jendrik Seipp","raw_affiliation_strings":["Link\u00f6ping University"],"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5092379246"],"corresponding_institution_ids":["https://openalex.org/I102134673"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16842239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"821","last_page":"831"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.6456000208854675,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.6456000208854675,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.06549999862909317,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.05339999869465828,"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/heuristics","display_name":"Heuristics","score":0.9204999804496765},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7261999845504761},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.6718999743461609},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5444999933242798},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.525600016117096},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4471000134944916}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.9204999804496765},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7261999845504761},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.6718999743461609},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.6430000066757202},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5444999933242798},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.525600016117096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49399998784065247},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4471000134944916},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42590001225471497},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4059000015258789},{"id":"https://openalex.org/C51823790","wikidata":"https://www.wikidata.org/wiki/Q504353","display_name":"Greedy algorithm","level":2,"score":0.3237999975681305},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.2847999930381775}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2025/79","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/79","pdf_url":"https://proceedings.kr.org/2025/79/kr2025-0079-hoft-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2025/79","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/79","pdf_url":"https://proceedings.kr.org/2025/79/kr2025-0079-hoft-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3165808449","display_name":null,"funder_award_id":"022-06725","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G4493597635","display_name":null,"funder_award_id":"NAISS","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G8338695050","display_name":null,"funder_award_id":"2022-0672","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8683756101","display_name":null,"funder_award_id":"support","funder_id":"https://openalex.org/F4320322327","funder_display_name":"Knut och Alice Wallenbergs Stiftelse"},{"id":"https://openalex.org/G8869864247","display_name":null,"funder_award_id":"2022-06725","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4415904750.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Saturated":[0],"cost":[1],"partitioning":[2],"(SCP)":[3],"is":[4,40,63,92],"one":[5],"of":[6,20,104,134,150,157,171,177],"the":[7,27,81,87,132,135,148,151,169,178],"strongest":[8],"methods":[9,174],"for":[10,14,54,85,189],"admissibly":[11],"combining":[12],"heuristics":[13,33,47,106],"optimal":[15,188],"classical":[16],"planning.":[17],"The":[18],"quality":[19,170],"an":[21,108],"SCP":[22,46,89,105,173,180],"heuristic":[23,90,152],"depends":[24],"heavily":[25],"on":[26],"order":[28,133],"in":[29,159],"which":[30,112],"its":[31],"component":[32,51,56,97,118],"are":[34,186],"considered.":[35],"For":[36],"high":[37],"accuracy,":[38],"it":[39,165],"essential":[41],"to":[42,70,94,115,167],"maximize":[43],"over":[44],"multiple":[45],"computed":[48],"using":[49,71],"different":[50],"orders.":[52,98],"However,":[53],"n":[55],"heuristics,":[57],"even":[58],"enumerating":[59],"all":[60,96],"n!":[61],"orders":[62,119,156],"usually":[64],"infeasible.":[65],"Consequently,":[66],"previous":[67],"work":[68,163],"resorted":[69],"greedy":[72],"algorithms":[73],"and":[74],"local":[75],"optimization.":[76],"In":[77],"contrast,":[78],"we":[79,145],"present":[80],"first":[82],"practical":[83],"method":[84],"computing":[86],"perfect":[88,179],"that":[91,101,176,183],"equivalent":[93],"considering":[95],"We":[99],"show":[100],"a":[102,121],"set":[103],"forms":[107],"additive":[109],"disjunctive":[110],"heuristic,":[111,181],"allows":[113],"us":[114],"concisely":[116],"represent":[117],"as":[120],"directed":[122],"acyclic":[123],"graph.":[124],"Furthermore,":[125],"once":[126],"certain":[127],"components":[128,137],"have":[129],"been":[130],"considered,":[131],"remaining":[136],"often":[138],"becomes":[139],"irrelevant.":[140],"By":[141],"exploiting":[142],"this":[143],"characteristic,":[144],"can":[146],"reduce":[147],"size":[149],"representation":[153],"by":[154],"several":[155],"magnitude":[158],"practice.":[160],"Finally,":[161],"our":[162],"makes":[164],"possible":[166],"compare":[168],"existing":[172,184],"with":[175],"revealing":[182],"approximations":[185],"nearly":[187],"standard":[190],"benchmarks.":[191]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-11-05T00:00:00"}