Publications of
Random walks and brownian motion
In : Computers and Artificial Intelligence, Slovak Academy of Sciences, Bratislava, Slovakia, Vol. 18 N. 2, pp. 209-214, 1999.
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Modèles P-restreints : Applications à l’Inference Propositionnelle.
In : Congrès Reconnaissance des Formes et Intelligence Artificielle RFIA’98, Clermont-Ferrand, 20/01/98-22/01/98, AFCET, Paris, pp. 205-214, January 1998.
Thierry Castell, Hélène Fargier
Entre SAT et CSP : Problèmes de satisfaction propositionnels et ‘CSPs clausaux’
In : Actes du 11ème Congrès: Reconnaissance des Formes et Intelligence Artificielle (RFIA’98), Clermont-Ferrand, France, AFCET, Paris, pp. 117-126, January 1998.
Thierry Castell, Hélène Fargier
Between SAT and CSP: propositionnal satisfaction problems and clausal CSPs
In : Proceedings of European Conference in Artificial Intelligence (ECAI’98), Brighton, Wiley, Chichester, pp. 214-218, August 1998.
Thierry Castell, Michel Cayrol
Hidden Gold in Random Generation of Satisfiable Instances
In : Int. Joint Conf. on Artificial Intelligence (IJCAI’97), Nagoya, Japon, 23/08/97-29/08/97, Morgan Kaufmann Publishers, pp. 372-377, August 1997.
Thierry Castell, Michel Cayrol
Arguments for the easy generation of random, hard and satisfiable instances of SAT
In : ECAI’96 Workshop on Advances in propositional deduction, –, .
Résolution arrière dans la procédure de Davis et Putnam
In : Actes du 10ème Congrès ”Reconnaissance des Formes et Intelligence Artificielle” (RFIA’96), Rennes, France, 16/01/96-18/01/96, AFCET, pp. 109-117, January 1996.
Thierry Castell, Michel Cayrol
Une nouvelle méthode de calcul des impliquants et des impliqués premiers
In : Actes de la deuxième confèrence CNPC’96 (Résolution pratique de problèmes NP-Complets), Dijon, TEKNEA, Marseille, pp. 153-167, March 1996.
Computation of Prime Implicates and Prime Implicants by a variant of the Davis and Putnam procedure
In : IEEE International Conference on Tools with Artificial Intelligence TAI’96, Toulouse France, 16/11/96-19/11/96, IEEE Computer Society Press, Los Alamitos, California, pp. 428-429, November 1996.
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Using the Davis and Putnam procedure for an efficient computation of preferred models
In : Proc. 12th European Conference on Artificial Intelligence ECAI’96, Budapest Hungary, 11/08/96-16/08/96, John Wiley & Sons, New York, pp. 350-354, August 1996.
Thierry Castell, Claudette Cayrol
Conditional diagnosis and their computation using an ATMS
In : Proc. of the Inter. Conf. on Fault Diagnosis (TOOLDIAG’93), Toulouse, 05/04/93-07/04/93.
Consistance et déduction en logique propositionnelle
Master’s Thesis, Université Paul Sabatier, January 1997.