Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks

Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Saïd. Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. In Christo Dichev, Gennady Agre, editors, Artificial Intelligence: Methodology, Systems, and Applications - 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings. Volume 9883 of Lecture Notes in Computer Science, pages 247-258, Springer, 2016. [doi]

Abstract

Abstract is missing.