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