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.
- Archive exécutable (Java 8) : MAXQCN2SAT1.0.jar et un ensemble de couvertures pour différents calculs forbiddenCoverings.zip. Pour lancer la programme :
java -jar MAXQCN2SAT1.0.jar paramères
. Pour lister l'ensemble des paramètres possibles : java -jar MAXQCN2SAT1.0.jar -h
.
Un exemple d'appel du programme en utilisant ce réseau de contraintes qualitatives du calcul d'Allen (exempleQCN) et cette triangulation de son graphe de contraintes (exempleTriangulation) :
java -jar MAXQCN2SAT1.0.jar -c IA -e FCTE -i exempleQCN -o output.cnf -t exempleTriangulation -fc IA_97_5_10.fcov -l 1
.