Conception de solveurs et apprentissage de règles en programmation par contraintes
S. Abdennadher, C. Rigotti. Automatic Generation of Propagation Rules for Finite Domains. Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming CP'00, Singapore, September 2000. Springer LNCS 1834. pp. 18-34.
S. Abdennadher, C. Rigotti. Using confluence to generate rule-based constraint solvers. Proceedings of the Third International Conference on Principles and Practice of Declarative Programming PPDP 2001, Florence (I), September 2001. ACM Press. pp. 127-135.
S. Abdennadher, C. Rigotti. Toward Inductive Constraint Solving. Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming CP'01, Paphos (Cyprus), November 2001. Springer LNCS 2239. pp. 31-45.
S. Abdennadher, C. Rigotti. Generation of Propagation Rules for Intentionally Defined Constraints. Proceedings of the Thirteenth IEEE International Conference on Tools with Artificial Intelligence ICTAI'01, Dallas (USA), November 2001. IEEE Computer Press. pp. 236-246.
S. Abdennadher, C. Rigotti. Constraint Solver Synthesis using Tabled Resolution for Constraint Logic Programming Proceedings of the 10th International Workshop on Logic Based Program Development and Transformation LOPSTR'02, Madrid, Spain, September 2002. Springer, LNCS 2664, pp. 32-47.
S. Abdennadher, C. Rigotti. Automatic Generation of Rule-Based Solvers for Intentionally Defined Constraints. International Journal on Artificial Intelligence Tools IJAIT 11(2):283-302, 2002.
S. Abdennadher, C. Rigotti. Automatic generation of rule-based constraint solvers. ACM Transactions on Computational Logic TOCL 5(2):177-205, 2004.