{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:09Z","timestamp":1750221369426,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T00:00:00Z","timestamp":1531094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,9]]},"DOI":"10.1145\/3200947.3201021","type":"proceedings-article","created":{"date-parts":[[2018,7,6]],"date-time":"2018-07-06T19:30:44Z","timestamp":1530905444000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints"],"prefix":"10.1145","author":[{"given":"Ali","family":"Mensi","sequence":"first","affiliation":[{"name":"CRIL-CNRS UMR, Universit\u00e9 Lille-Nord de France"}]},{"given":"Jean-Fran\u00e7ois","family":"Condotta","sequence":"additional","affiliation":[{"name":"CRIL-CNRS UMR, Universit\u00e9 Lille-Nord de France"}]},{"given":"Issam","family":"Nouaouri","sequence":"additional","affiliation":[{"name":"LGI2A, Universit\u00e9 Lille-Nord de France"}]},{"given":"Michael","family":"Sioutis","sequence":"additional","affiliation":[{"name":"AASS, \u00d6rebro universitet, Sweden"}]},{"given":"Lamjed","family":"Ben Sa\u00efd","sequence":"additional","affiliation":[{"name":"SMART-Lab, Institut Sup\u00e9rieure de Gestion, Tunisia"}]}],"member":"320","published-online":{"date-parts":[[2018,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"J-F. Allen. 1981. An interval-based representation of temporal knowledge. In IJCAI.   J-F. Allen. 1981. An interval-based representation of temporal knowledge. In IJCAI."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1080\/13875868.2010.548568"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.03.008"},{"key":"e_1_3_2_1_5_1","volume-title":"Mar\u00eda Cristina Riff Rojas, and Ignacio Araya","author":"Cares Juan Pablo","year":"2013","unstructured":"Juan Pablo Cares , Mar\u00eda Cristina Riff Rojas, and Ignacio Araya . 2013 . LS2R: A local search algorithm to solve scheduling radiotherapy problems. In HIS. Juan Pablo Cares, Mar\u00eda Cristina Riff Rojas, and Ignacio Araya. 2013. LS2R: A local search algorithm to solve scheduling radiotherapy problems. In HIS."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2011.125"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Jean-Fran\u00e7ois Condotta Ali Mensi Issam Nouaouri Michael Sioutis and Lamjed Ben Sa\u00efd. 2016. Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. In AIMSA.  Jean-Fran\u00e7ois Condotta Ali Mensi Issam Nouaouri Michael Sioutis and Lamjed Ben Sa\u00efd. 2016. Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. In AIMSA.","DOI":"10.1007\/978-3-319-44748-3_24"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Jean-Fran\u00e7ois Condotta Issam Nouaouri and Michael Sioutis. 2016. A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. In KR.  Jean-Fran\u00e7ois Condotta Issam Nouaouri and Michael Sioutis. 2016. A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. In KR.","DOI":"10.1007\/978-3-319-44748-3_24"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Jean-Fran\u00e7ois Condotta Ali Mensi Issam Nouaouri Michael Sioutis and Lamjed Ben Sa\u00efd. 2015. A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. In ICTAI.  Jean-Fran\u00e7ois Condotta Ali Mensi Issam Nouaouri Michael Sioutis and Lamjed Ben Sa\u00efd. 2015. A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. In ICTAI.","DOI":"10.1109\/ICTAI.2015.73"},{"key":"e_1_3_2_1_10_1","unstructured":"Bart G. W. Craenen and A. E. Eiben. 2005. Hybrid evolutionary algorithms for constraint satisfaction problems: memetic overkill?. In CEC.  Bart G. W. Craenen and A. E. Eiben. 2005. Hybrid evolutionary algorithms for constraint satisfaction problems: memetic overkill?. In CEC."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2003.816584"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11844297_16"},{"key":"e_1_3_2_1_13_1","volume-title":"Craenen and Ben Paechter","author":"Bart G.","year":"2008","unstructured":"Bart G. W. Craenen and Ben Paechter . 2008 . A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems. In EvoCOP. Bart G. W. Craenen and Ben Paechter. 2008. A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems. In EvoCOP."},{"key":"e_1_3_2_1_14_1","volume-title":"Graph Theory","author":"Diestel Reinhard","unstructured":"Reinhard Diestel . 2012. Graph Theory , 4 th Edition. Graduate texts in mathematics, Vol. 173 . Springer . Reinhard Diestel. 2012. Graph Theory, 4th Edition. Graduate texts in mathematics, Vol. 173. Springer.","edition":"4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009638304510"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-015-1815-1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"S.M. Hazarika. 2012. Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. Igi Global.  S.M. Hazarika. 2012. Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. Igi Global.","DOI":"10.4018\/978-1-61692-868-1"},{"key":"e_1_3_2_1_18_1","first-page":"95","article-title":"QMaxSAT","volume":"8","author":"Koshimura Miyuki","year":"2012","unstructured":"Miyuki Koshimura , Tong Zhang , Hiroshi Fujita , and Ryuzo Hasegawa . 2012 . QMaxSAT : A Partial Max-SAT Solver. JSAT 8 , 1\/2 (2012), 95 -- 100 . Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, and Ryuzo Hasegawa. 2012. QMaxSAT: A Partial Max-SAT Solver. JSAT 8, 1\/2 (2012), 95--100.","journal-title":"A Partial Max-SAT Solver. JSAT"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28633-2_8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23374-1_17"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Elizabeth Montero and Mar\u00eda Cristina Riff. 2014. Evaluating components of artificial immune algorithms: A Performance-aware Method based on Evolutionary Calibrator. In SMC.  Elizabeth Montero and Mar\u00eda Cristina Riff. 2014. Evaluating components of artificial immune algorithms: A Performance-aware Method based on Evolutionary Calibrator. In SMC.","DOI":"10.1109\/SMC.2014.6974526"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830540"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"B. Nebel. 1996. Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficienty of Using the ORD-Horn Class. In ECAI.  B. Nebel. 1996. Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficienty of Using the ORD-Horn Class. In ECAI.","DOI":"10.1007\/BF00137869"},{"key":"e_1_3_2_1_24_1","volume-title":"Burke","author":"Petrovic Sanja","year":"2004","unstructured":"Sanja Petrovic and Edmund K . Burke . 2004 . University Timetabling . In Handbook of Scheduling: Algorithms, Models, and Performance Analysis. Sanja Petrovic and Edmund K. Burke. 2004. University Timetabling. In Handbook of Scheduling: Algorithms, Models, and Performance Analysis."},{"key":"e_1_3_2_1_25_1","volume-title":"Cohn","author":"Randell David A.","year":"1992","unstructured":"David A. Randell , Zhan Cui , and Anthony G . Cohn . 1992 . A Spatial Logic based on Regions and Connection. In KR. David A. Randell, Zhan Cui, and Anthony G. Cohn. 1992. A Spatial Logic based on Regions and Connection. In KR."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"J. Renz and B. Nebel. 2007. Qualitative Spatial Reasoning Using Constraint Calculi. In Handbook of Spatial Logics. Springer Netherlands 161--215.  J. Renz and B. Nebel. 2007. Qualitative Spatial Reasoning Using Constraint Calculi. In Handbook of Spatial Logics. Springer Netherlands 161--215.","DOI":"10.1007\/978-1-4020-5587-4_4"},{"key":"e_1_3_2_1_27_1","unstructured":"Mar\u00eda Cristina Riff Teddy Alfaro Xavier Bonnaire and Carlos Grand\u00f3n. 2008. EA-MP: An evolutionary algorithm for a mine planning problem. In CEC.  Mar\u00eda Cristina Riff Teddy Alfaro Xavier Bonnaire and Carlos Grand\u00f3n. 2008. EA-MP: An evolutionary algorithm for a mine planning problem. In CEC."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2012.66"}],"event":{"name":"SETN '18: 10th Hellenic Conference on Artificial Intelligence","sponsor":["EETN Hellenic Artificial Intelligence Society","UOP University of Patras","University of Thessaly University of Thessaly, Volos, Greece"],"location":"Patras Greece","acronym":"SETN '18"},"container-title":["Proceedings of the 10th Hellenic Conference on Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3200947.3201021","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3200947.3201021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:30Z","timestamp":1750213590000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3200947.3201021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,9]]},"references-count":28,"alternative-id":["10.1145\/3200947.3201021","10.1145\/3200947"],"URL":"https:\/\/doi.org\/10.1145\/3200947.3201021","relation":{},"subject":[],"published":{"date-parts":[[2018,7,9]]},"assertion":[{"value":"2018-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}