{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:51:31Z","timestamp":1773939091800,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4-6","license":[{"start":{"date-parts":[[2023,9,23]],"date-time":"2023-09-23T00:00:00Z","timestamp":1695427200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,9,23]],"date-time":"2023-09-23T00:00:00Z","timestamp":1695427200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Heuristics"],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1007\/s10732-023-09517-8","type":"journal-article","created":{"date-parts":[[2023,9,23]],"date-time":"2023-09-23T11:03:02Z","timestamp":1695466982000},"page":"461-485","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On robust vs fast solving of qualitative constraints"],"prefix":"10.1007","volume":"29","author":[{"given":"Jan","family":"Wehner","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7562-2443","authenticated-orcid":false,"given":"Michael","family":"Sioutis","sequence":"additional","affiliation":[]},{"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,9,23]]},"reference":[{"key":"9517_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"9517_CR2","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1007\/s10115-014-0778-3","volume":"44","author":"F Barber","year":"2015","unstructured":"Barber, F., Salido, M.A.: Robustness, stability, recoverability, and reliability in constraint satisfaction problems. Knowl. Inf. Syst. 44, 719\u2013734 (2015)","journal-title":"Knowl. Inf. Syst."},{"key":"9517_CR3","doi-asserted-by":"crossref","unstructured":"Bofill, M., Busquets, D., Villaret, M.: A declarative approach to robust weighted Max-SAT. In: PPDP (2010)","DOI":"10.1145\/1836089.1836098"},{"key":"9517_CR4","doi-asserted-by":"crossref","unstructured":"Chmeiss, A., Condotta, J.-F.: Consistency of triangulated temporal qualitative constraint networks. In: ICTAI (2011)","DOI":"10.1109\/ICTAI.2011.125"},{"key":"9517_CR5","doi-asserted-by":"crossref","unstructured":"Climent, L., Salido, M.A., Barber, F.: Robust solutions in changing constraint satisfaction problems. In: IEA\/AIE (2010)","DOI":"10.1007\/978-3-642-13022-9_75"},{"key":"9517_CR6","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/s10601-015-9225-7","volume":"20","author":"L Climent","year":"2015","unstructured":"Climent, L.: Robustness and stability in dynamic constraint satisfaction problems. Constraints 20, 502\u2013503 (2015)","journal-title":"Constraints"},{"key":"9517_CR7","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1613\/jair.4126","volume":"49","author":"L Climent","year":"2014","unstructured":"Climent, L., Wallace, R.J., Salido, M.A., Barber, F.: Robustness and stability in constraint programming under dynamism and uncertainty. J. Artif. Intell. Res. 49, 49\u201378 (2014)","journal-title":"J. Artif. Intell. Res."},{"key":"9517_CR8","doi-asserted-by":"crossref","unstructured":"Condotta, J., Mensi, A., Nouaouri, I., Sioutis, M., Said, L.B.: A practical approach for maximizing satisfiability in qualitative spatial and temporal constraint networks. In: ICTAI (2015)","DOI":"10.1109\/ICTAI.2015.73"},{"key":"9517_CR9","doi-asserted-by":"crossref","unstructured":"Condotta, J., Nouaouri, I., Sioutis, M.: A SAT approach for maximizing satisfiability in qualitative spatial and temporal constraint networks. In: KR (2016)","DOI":"10.1007\/978-3-319-44748-3_24"},{"key":"9517_CR10","doi-asserted-by":"crossref","unstructured":"de\u00a0Leng, D., Heintz, F.: Qualitative spatio-temporal stream reasoning with unobservable intertemporal spatial relations using landmarks. In: AAAI (2016)","DOI":"10.1609\/aaai.v30i1.10095"},{"key":"9517_CR11","doi-asserted-by":"crossref","unstructured":"Dylla, F., Mossakowski, T., Schneider, T., Wolter, D.: Algebraic properties of qualitative spatio-temporal calculi. In: COSIT (2013)","DOI":"10.1007\/978-3-319-01790-7_28"},{"key":"9517_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10846-006-9099-4","volume":"48","author":"F Dylla","year":"2007","unstructured":"Dylla, F., Wallgr\u00fcn, J.O.: Qualitative spatial reasoning with conceptual neighborhoods for agent control. J. Intell. Robot. Syst. 48, 55\u201378 (2007)","journal-title":"J. Intell. Robot. Syst."},{"key":"9517_CR13","unstructured":"Ginsberg, M.L., Parkes, A.J., Roy, A.: Supermodels and robustness. In: AAAI\/IAAI (1998)"},{"key":"9517_CR14","unstructured":"Hebrard, E.: Robust solutions for constraint satisfaction and optimisation under uncertainty. Ph.D. thesis, University of New South Wales, Sydney (2007)"},{"key":"9517_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103258","volume":"283","author":"TPD Homem","year":"2020","unstructured":"Homem, T.P.D., Santos, P.E., Costa, A.H.R., da Costa Bianchi, R.A., de M\u00e1ntaras, R.L.: Qualitative case-based reasoning and learning. Artif. Intell. 283, 103258 (2020)","journal-title":"Artif. Intell."},{"key":"9517_CR16","unstructured":"Huang, J.: Compactness and its implications for qualitative spatial and temporal reasoning. In: KR (2012)"},{"key":"9517_CR17","doi-asserted-by":"crossref","unstructured":"Ligozat, G.: Qualitative Spatial and Temporal Reasoning. Wiley, ISTE (2013)","DOI":"10.1002\/9781118601457"},{"key":"9517_CR18","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF00137869","volume":"1","author":"B Nebel","year":"1997","unstructured":"Nebel, B.: Solving hard qualitative temporal reasoning problems: evaluating the efficiency of using the ORD-horn class. Constraints 1, 175\u2013190 (1997)","journal-title":"Constraints"},{"key":"9517_CR19","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1613\/jair.3463","volume":"43","author":"G Pesant","year":"2012","unstructured":"Pesant, G., Quimper, C., Zanarini, A.: Counting-based search: branching heuristics for constraint satisfaction problems. J. Artif. Intell. Res. 43, 173\u2013210 (2012)","journal-title":"J. Artif. Intell. Res."},{"key":"9517_CR20","first-page":"165","volume":"92","author":"DA Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. KR 92, 165\u2013176 (1992)","journal-title":"KR"},{"key":"9517_CR21","doi-asserted-by":"crossref","unstructured":"Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Handbook of Spatial Logics, pp. 161\u2013215 (2007)","DOI":"10.1007\/978-1-4020-5587-4_4"},{"key":"9517_CR22","unstructured":"Renz, J.: Qualitative spatial and temporal reasoning: efficient algorithms for everyone. In: IJCAI (2007)"},{"key":"9517_CR23","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1613\/jair.1914","volume":"25","author":"A Roy","year":"2006","unstructured":"Roy, A.: Fault tolerant Boolean satisfiability. J. Artif. Intell. Res. 25, 503\u2013527 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"9517_CR24","doi-asserted-by":"crossref","unstructured":"Sioutis, M., Long, Z., Janhunen, T.: On robustness in qualitative constraint networks. In: IJCAI (2020)","DOI":"10.24963\/ijcai.2020\/251"},{"key":"9517_CR25","doi-asserted-by":"crossref","unstructured":"Sioutis, M., Wolter, D.: Dynamic branching in qualitative constraint networks via counting local models. In: TIME (2020)","DOI":"10.1016\/j.ic.2021.104787"},{"key":"9517_CR26","doi-asserted-by":"crossref","unstructured":"Sioutis, M., Wolter, D.: Qualitative spatial and temporal reasoning: current status and future challenges. In: IJCAI (2021)","DOI":"10.24963\/ijcai.2021\/624"},{"key":"9517_CR27","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1137\/0213035","volume":"13","author":"RE Tarjan","year":"1984","unstructured":"Tarjan, R.E., Yannakakis, M.: Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs. SIAM J. Comput. 13, 566\u2013579 (1984)","journal-title":"SIAM J. Comput."},{"key":"9517_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.232","volume":"4","author":"P van Beek","year":"1996","unstructured":"van Beek, P., Manchak, D.W.: The design and experimental analysis of algorithms for temporal reasoning. J. Artif. Intell. Res. 4, 1\u201318 (1996)","journal-title":"J. Artif. Intell. Res."},{"key":"9517_CR29","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10601-005-2239-9","volume":"10","author":"G Verfaillie","year":"2005","unstructured":"Verfaillie, G., Jussien, N.: Constraint solving in uncertain and dynamic environments: a survey. Constraints 10, 253\u2013281 (2005)","journal-title":"Constraints"},{"key":"9517_CR30","doi-asserted-by":"crossref","unstructured":"Wehner, J., Sioutis, M., Wolter, D.: On robust vs fast solving of qualitative constraints. In: ICTAI, Short Paper (2021)","DOI":"10.1109\/ICTAI52525.2021.00128"},{"key":"9517_CR31","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1108\/09600031211281411","volume":"42","author":"A Wieland","year":"2012","unstructured":"Wieland, A., Wallenburg, C.: Dealing with supply chain risks: linking risk management practices and strategies to performance. Int. J. Phys. Distrib. Log. Manag. 42, 887\u2013905 (2012)","journal-title":"Int. J. Phys. Distrib. Log. Manag."}],"container-title":["Journal of Heuristics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10732-023-09517-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10732-023-09517-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10732-023-09517-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T13:18:30Z","timestamp":1698412710000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10732-023-09517-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,23]]},"references-count":31,"journal-issue":{"issue":"4-6","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["9517"],"URL":"https:\/\/doi.org\/10.1007\/s10732-023-09517-8","relation":{},"ISSN":["1381-1231","1572-9397"],"issn-type":[{"value":"1381-1231","type":"print"},{"value":"1572-9397","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,23]]},"assertion":[{"value":"4 October 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 January 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 September 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 September 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}