QLS (Qualitative Local Search)

QLS est un outil écrit en Java permettant la résolution du problème MAX-QCN à l’aide de la méthode de recherche locale proposée dans l'article 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 Proceedings of the 17th International Conference Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2016), LNCS 9883, pages 247-258, 2016 .

MAXQCN2SAT

MAXQCN2SAT est un outil écrit en Java permettant de convertir une instance du problème MAX-QCN en une instance du problème partial MAX-SAT selon les encodages proposés dans Jean-François Condotta, Issam Nouaouri, and Michael Sioutis. A SAT approach for maximizing satisfiability in qualitative spatial and temporal constraint networks. In Proceedings of the 15th International Conference Principles of Knowledge Representation and Reasoning (KR’16), Cap Town, South Africa. AAAI Press, pages 432-442, 2016.