{"id":"https://openalex.org/W3042708252","doi":"https://doi.org/10.24963/kr.2020/29","title":"Fine-Grained Complexity of Temporal Problems","display_name":"Fine-Grained Complexity of Temporal Problems","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3042708252","doi":"https://doi.org/10.24963/kr.2020/29","mag":"3042708252"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/29","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/29","pdf_url":"https://proceedings.kr.org/2020/29/kr2020-0029-dabrowski-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth 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/2020/29/kr2020-0029-dabrowski-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085663992","display_name":"Konrad K. Dabrowski","orcid":"https://orcid.org/0000-0001-9515-6945"},"institutions":[{"id":"https://openalex.org/I190082696","display_name":"Durham University","ror":"https://ror.org/01v29qb04","country_code":"GB","type":"education","lineage":["https://openalex.org/I190082696"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Konrad K. Dabrowski","raw_affiliation_strings":["Durham University"],"affiliations":[{"raw_affiliation_string":"Durham University","institution_ids":["https://openalex.org/I190082696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101920004","display_name":"Peter J\u00f6nsson","orcid":"https://orcid.org/0000-0002-5288-3330"},"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":"Peter Jonsson","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/A5017076947","display_name":"Sebastian Ordyniak","orcid":"https://orcid.org/0000-0003-1935-651X"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sebastian Ordyniak","raw_affiliation_strings":["University of Sheffield"],"affiliations":[{"raw_affiliation_string":"University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082651543","display_name":"George Osipov","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":false,"raw_author_name":"George Osipov","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":4,"corresponding_author_ids":["https://openalex.org/A5085663992"],"corresponding_institution_ids":["https://openalex.org/I190082696"],"apc_list":null,"apc_paid":null,"fwci":0.8093,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.75286282,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"284","last_page":"293"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991999864578247,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9939000010490417,"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/T10142","display_name":"Formal Methods in Verification","score":0.9861000180244446,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.9147496223449707},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.8394023180007935},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6483898162841797},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.585038423538208},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.583677351474762},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5572933554649353},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.5340484380722046},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5020661354064941},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.4624694883823395},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.45907020568847656},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4477616548538208},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4352799654006958},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3882877230644226},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3208196759223938},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.15039315819740295}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.9147496223449707},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.8394023180007935},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6483898162841797},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.585038423538208},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.583677351474762},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5572933554649353},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5340484380722046},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5020661354064941},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.4624694883823395},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.45907020568847656},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4477616548538208},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4352799654006958},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3882877230644226},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3208196759223938},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.15039315819740295},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.24963/kr.2020/29","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/29","pdf_url":"https://proceedings.kr.org/2020/29/kr2020-0029-dabrowski-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:dro.dur.ac.uk.OAI2:31260","is_oa":false,"landing_page_url":"http://dro.dur.ac.uk/31260/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196258","display_name":"Durham Research Online (Durham University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I190082696","host_organization_name":"Durham University","host_organization_lineage":["https://openalex.org/I190082696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"KR 2020, Rhodes, Greece, 12-18 September 2020 [Conference proceedings]","raw_type":"Conference item"},{"id":"pmh:oai:eprints.whiterose.ac.uk:174378","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Proceedings Paper"},{"id":"pmh:oai:durham-repository.worktribe.com:1140916","is_oa":true,"landing_page_url":"https://durham-repository.worktribe.com/output/1140916","pdf_url":null,"source":{"id":"https://openalex.org/S4306400188","display_name":"Durham Research Online (Durham University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I190082696","host_organization_name":"Durham University","host_organization_lineage":["https://openalex.org/I190082696"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"acceptedVersion"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/29","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/29","pdf_url":"https://proceedings.kr.org/2020/29/kr2020-0029-dabrowski-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8024612177","display_name":null,"funder_award_id":"2017-04112","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"}],"funders":[{"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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3042708252.pdf","grobid_xml":"https://content.openalex.org/works/W3042708252.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W47684144","https://openalex.org/W178755245","https://openalex.org/W1485272726","https://openalex.org/W1515598460","https://openalex.org/W1549117130","https://openalex.org/W1684108869","https://openalex.org/W1965551900","https://openalex.org/W1965994418","https://openalex.org/W1968319543","https://openalex.org/W1991813962","https://openalex.org/W1995725694","https://openalex.org/W2009436911","https://openalex.org/W2050034390","https://openalex.org/W2081744921","https://openalex.org/W2087638517","https://openalex.org/W2103943372","https://openalex.org/W2108572084","https://openalex.org/W2115954691","https://openalex.org/W2130182605","https://openalex.org/W2134748144","https://openalex.org/W2137794525","https://openalex.org/W2141314343","https://openalex.org/W2153822011","https://openalex.org/W2161484642","https://openalex.org/W2294087783","https://openalex.org/W2582970508","https://openalex.org/W2769610873","https://openalex.org/W2803460775","https://openalex.org/W2898977239","https://openalex.org/W2945289813","https://openalex.org/W2961830567","https://openalex.org/W2962900108","https://openalex.org/W4254494800","https://openalex.org/W6631076494","https://openalex.org/W6631451553","https://openalex.org/W6662926449","https://openalex.org/W6679293786","https://openalex.org/W6680558301","https://openalex.org/W6762857765","https://openalex.org/W6823929532"],"related_works":["https://openalex.org/W3042708252","https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W2153128123","https://openalex.org/W2925112333","https://openalex.org/W2236535155","https://openalex.org/W3190027049"],"abstract_inverted_index":{"Expressive":[0],"temporal":[1,20],"reasoning":[2],"formalisms":[3,12],"are":[4,25],"essential":[5],"for":[6,112],"AI.":[7],"One":[8],"family":[9],"of":[10,14,17,43,52,66,116],"such":[11,53],"consists":[13],"disjunctive":[15,44],"extensions":[16,24],"the":[18,29,49,67,73,113],"simple":[19],"problem":[21],"(STP).":[22],"Such":[23],"well":[26],"studied":[27],"in":[28,104],"literature":[30],"and":[31,70],"they":[32],"have":[33],"many":[34],"important":[35],"applications.":[36],"It":[37],"is":[38,46,55,81],"known":[39],"that":[40,62,76],"deciding":[41],"satisfiability":[42],"STPs":[45],"NP-hard,":[47],"while":[48],"fine-grained":[50],"complexity":[51,80],"problems":[54],"virtually":[56],"unexplored.":[57],"We":[58],"present":[59],"novel":[60],"algorithms":[61],"exploit":[63],"structural":[64],"properties":[65],"solution":[68],"space":[69],"prove,":[71],"assuming":[72],"Exponential-Time":[74],"Hypothesis,":[75],"their":[77],"worst-case":[78],"time":[79],"close":[82],"to":[83],"optimal.":[84],"Among":[85],"other":[86],"things,":[87],"we":[88],"make":[89],"progress":[90],"towards":[91],"resolving":[92],"a":[93,109],"long-open":[94],"question":[95],"concerning":[96],"whether":[97],"Allen's":[98],"interval":[99],"algebra":[100],"can":[101],"be":[102],"solved":[103],"single-exponential":[105],"time,":[106],"by":[107],"giving":[108],"2^{O(nloglog(n))}":[110],"algorithm":[111],"special":[114],"case":[115],"unit-length":[117],"intervals.":[118]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":3}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}