{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T23:15:43Z","timestamp":1782774943685,"version":"3.54.5"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319447476","type":"print"},{"value":"9783319447483","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-44748-3_24","type":"book-chapter","created":{"date-parts":[[2016,8,17]],"date-time":"2016-08-17T06:13:00Z","timestamp":1471414380000},"page":"247-258","source":"Crossref","is-referenced-by-count":6,"title":["Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Condotta","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ali","family":"Mensi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Issam","family":"Nouaouri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Sioutis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lamjed","family":"Ben Sa\u00efd","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,8,18]]},"reference":[{"issue":"11","key":"24_CR1","doi-asserted-by":"crossref","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(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/13875868.2010.548568","volume":"11","author":"M Bhatt","year":"2011","unstructured":"Bhatt, M., Guesgen, H., W\u00f6lfl, S., Hazarika, S.: Qualitative spatial and temporal reasoning: emerging applications, trends, and directions. Spat. Cogn. Comput. 11, 1\u201314 (2011)","journal-title":"Spat. Cogn. Comput."},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.ic.2009.03.008","volume":"208","author":"HL Bodlaender","year":"2010","unstructured":"Bodlaender, H.L., Koster, A.M.C.A.: Treewidth computations I. Upper bounds. Inf. Comput. 208, 259\u2013275 (2010)","journal-title":"Inf. Comput."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Chmeiss, A., Condotta, J.F.: Consistency of triangulated temporal qualitative constraint networks. In: Proceedings of 23rd International Conference on Tools with Artificial Intelligence (ICTAI 2011), Boca Raton, FL, USA, pp. 799\u2013802 (2011)","DOI":"10.1109\/ICTAI.2011.125"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Condotta, J.F., Mensi, A., Nouaouri, I., Sioutis, M., Sa\u00efd., L.B.: A practical approach for maximizing satisfiability in qualitative spatial and temporal constraint networks. In: Proceedings of 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015). IEEE (2015)","DOI":"10.1109\/ICTAI.2015.73"},{"key":"24_CR6","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":"24_CR7","series-title":"Graduate Texts in Mathematics","volume-title":"Graph Theory","author":"R Diestel","year":"2012","unstructured":"Diestel, R.: Graph Theory. Graduate Texts in Mathematics, vol. 173, 4th edn. Springer, Berlin (2012)","edition":"4"},{"key":"24_CR8","doi-asserted-by":"crossref","DOI":"10.4018\/978-1-61692-868-1","volume-title":"Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions","author":"S Hazarika","year":"2012","unstructured":"Hazarika, S.: Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. IGI Global, Hershey (2012)"},{"key":"24_CR9","unstructured":"Huang, J.: Compactness and its implications for qualitative spatial and temporal reasoning. In: Proceedings of 13th International Conference Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy (2012)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-540-28633-2_8","volume-title":"PRICAI 2004: Trends in Artificial Intelligence","author":"G Ligozat","year":"2004","unstructured":"Ligozat, G., Renz, J.: What is a qualitative calculus? A general framework. In: Zhang, C., W. Guesgen, H., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol. 3157, pp. 53\u201364. Springer, Heidelberg (2004)"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Mart\u00ed, R., Laguna, M., Glover, F.: Principles of tabu search. In: Gonzalez, T.F. (ed.) Handbook of Approximation Algorithms and Metaheuristics. Chapman and Hall, London (2007)","DOI":"10.1201\/9781420010749.ch23"},{"key":"24_CR12","doi-asserted-by":"crossref","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":"24_CR13","unstructured":"Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings of 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 165\u2013176 (1992)"},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-1-4020-5587-4_4","volume-title":"Handbook of Spatial Logics","author":"J Renz","year":"2007","unstructured":"Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 161\u2013215. Springer, Berlin (2007)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Sioutis, M., Koubarakis, M.: Consistency of chordal RCC-8 networks. In: ICTAI (2012)","DOI":"10.1109\/ICTAI.2012.66"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methodology, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44748-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T12:46:40Z","timestamp":1568292400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44748-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319447476","9783319447483"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44748-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}