A. Rauzy's Publications

International journals

• abstract, MR06.pdf.zip
  A. Myers & A. Rauzy. Assessment of redundant systems with imperfect coverage by means of binary decision diagrams. Reliability Engineering and System Safety, XX:XX--XX, 2007.
  
  
• abstract, GLR06.pdf.zip
  J. Gauthier, X. Leduc & A. Rauzy. Assessment of large automatically generated fault trees by means of binary decision diagrams. Journal of Risk and Reliability, X:XX--XX, 2007. to appear.
  
  
• abstract, DR05a.pdf.zip
  Y. Dutuit & A. Rauzy. Approximate estimation of system reliability via fault trees. Reliability Engineering and System Safety, 87(2):163-172, 2005.
  
  
• abstract, BDRS04.pdf.zip
  M. Boiteau, Y. Dutuit, A. Rauzy & J.-P. Signoret. The altarica data-flow language in use: Assessment of production availability of a multistates system. Reliability Engineering and System Safety, 91:747-755, 2006.
  
  
• abstract, ER04.pdf.zip
  S. Epstein & A. Rauzy. Can We Trust PRA ? Reliability Engineering and System Safety, 88(3):195-205, 2005.
  
  
• abstract, Rau04a.pdf.zip
  A. Rauzy. An experimental study on six algorithms to compute transient solutions of large markov systems. Reliability Engineering and System Safety, 86(1):105-115, 2004.
  
  
• abstract, RCDB03.pdf.zip
  A. Rauzy, E. Châtelet, Y. Dutuit & C. Bérenguer. A practical comparison of methods to assess sum-of-products. Reliability Engineering and System Safety, 79:33-42, 2003.
  
  
• abstract, CDRS03.pdf.zip
  J.-L. Chabot, Y. Dutuit, A. Rauzy & J.-P. Signoret. An engineering approach to optimize system design or spare parts inventory. Risk Decision and Policy, 8:1-11, 2003.
  
  
• abstract, Rau02a.pdf.zip
  A. Rauzy. Modes automata and their compilation into fault trees. Reliability Engineering and System Safety, 78:1-12, 2002.
  
  
• abstract, Rau01f.pdf.zip
  A. Rauzy. A mlogm algorithm to compute the most probable configurations of a system with multi-mode independent components. IEEE Transactions on Reliability, 00(00), 2001.
  
  
• abstract, Rau01b.ps.zip
  A. Rauzy. A new methodology to handle boolean models with loops. IEEE Transactions on Reliability, 52(1):96-105, 2003.
  
  
• abstract, Rau01a.ps.zip
  A. Rauzy. Towards an Efficient Implementation of Mocus. IEEE Transactions on Reliability, 52(2):175-180, 2003.
  
  
• abstract, DR00h.ps.zip
  Y. Dutuit & A. Rauzy. New insights in the assessment of k-out-of-n and related systems. Reliability Engineering and System Safety, 72(3):303-314, 2001.
  
  
• abstract, DR00a.pdf.zip
  Y. Dutuit & A. Rauzy. Efficient Algorithms to Assess Components and Gates Importances in Fault Tree Analysis. Reliability Engineering and System Safety, 72(2):213-222, 2000.
  
  
• abstract, BR00b.ps.zip
  D. Bégay & A. Rauzy. A Realistic Involvement in Formal Methods. Software Practice and Experience, 31(2):191-208, 2000.
  
  
• abstract, WNR00a.ps.zip
  P.F. Williams, M. Nikolskaïa & A. Rauzy. Bypassing BDD construction for reliability analysis. Information Processing Letters, 75:85-89, 2000.
  
  
• abstract, Rau00a.pdf.zip
  A. Rauzy. Mathematical Foundation of Minimal Cutsets. IEEE Transactions on Reliability, 50(4):389-396, december 2001.
  
  
• abstract, AGPR00.ps.zip
  A. Arnold, A. Griffault, G. Point & A. Rauzy. The altarica language and its semantics. Fundamenta Informaticae, 34:109-124, 2000.
  
  
• abstract, PR99b.ps.zip
  G. Point & A. Rauzy. AltaRica: Constraint automata as a description language. Journal Européen des Systèmes Automatisés, 33(8-9):1033-1052, 1999.
  
  
• abstract, CDRB99.ps.zip
  E. Châtelet, Y. Dutuit, A. Rauzy & T. Bouhoufani. An optimized procedure to generate sums of disjoint products. Reliability Engineering and System Safety, 65:289-294, 1999.
  
  
• abstract, DR97a.ps.zip
  Y. Dutuit & A. Rauzy. Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia. Reliability Engineering and System Safety, 58:127-144, 1997.
  
  
• abstract, CR97.ps.zip
  M-M. Corsini & A. Rauzy. Toupie: the µ-calculus over finite domains as a constraint language. Journal of Automated Reasonning, 17:143-171, 1997.
  
  
• abstract, Rau96h.ps.zip
  A. Rauzy. An Brief Introduction to Binary Decision Diagrams. RAIRO-APII-JESA, 30(8):1033-1051, 1996.
  
  
• abstract, DR96b.ps.zip
  Y. Dutuit & A. Rauzy. A Linear Time Algorithm to Find Modules of Fault Trees. IEEE Transactions on Reliability, 45(3):422-425, 1996.
  
  
• abstract, Rau93a.pdf.zip
  A. Rauzy. New Algorithms for Fault Trees Analysis. Reliability Engineering & System Safety, 05(59):203-211, 1993.
  
  

International conferences (computer science)

• M. Nikolskaia, A. Rauzy & D. Sherman. Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. In Springer Verlag, editor, Proceedings of Formal Methods in Computer Aided Design Conference, FMCAD'98, volume 1522 of LNCS, pages 100-114, 1998.
  
  
• abstract, Rau95g.pdf.zip
  A. Rauzy. Polynomial restrictions of SAT: What can be done with an efficient implementation of the Davis and Putnam's procedure. In U. Montanari & F. Rossi, editors, Proceedings of the International Conference on Principle of Constraint Programming, CP'95, volume 976 of LNCS, pages 515-532. Springer Verlag, 1995.
  
  
• A. Rauzy. Toupie = µ-calculus + constraints. In P. Wolper, editor, Proceedings of Computer Aided Design, CAV'95, volume 939, pages 114-126. Springer Verlag (LNCS), 1995.
  
  
• O. Papini & A. Rauzy. Revision in Extended Propositionnal Calculus. In C. Froidevaux & J. Kohlas, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasonning about Uncertainty, ECSQARU'95, volume 946, pages 328-335. LNAI, 1995.
  
  
• S. Brlek & A. Rauzy. Synchronization of Constrained Transition Systems. In H. Hong, editor, Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94), pages 54-62, Linz, Ostreich, 1994. World Scientific Publishing.
  
  
• L. Oxusoff & A. Rauzy. Towards a Better Understanding of SL-Resolution. In P. Jorrand & V. Sugrev, editors, Proceedings Artificial Intelligence V Methodology, Systems, Applications, AIMSA'94. North Holland, 1994.
  
  
• A. Rauzy. Notes on the Design of an Open Boolean Solver. In P. van Hentenryck, editor, Proceedings of the 11^th International Conference on Logic Programming, ICLP'94, pages 354-368. MIT Press, 1994.
  
  
• M-M. Corsini & A. Rauzy. Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. In Don Sannella, editor, Proceedings of the European Symposium on Programming ESOP'94, volume 788 of LNCS, pages 180-194. Springer Verlag, 1994.
  
  
• O. Papini & A. Rauzy. A Mixed Approach of Revision in Propositional Calculus. In R. Kruse M. Clarke & S. Moral, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasonning about Uncertainty, ECSQARU'93, volume 747, pages 296-303. LNCS, November 1993.
  
  
• M-M. Corsini, B. Le Charlier, K. Musumbu & A. Rauzy. Efficient Abstract Interpretation of Prolog Programs by means of Constraint Solving over Finite Domains (extended abstract). In Proceedings of the 5th Int. Symposium on Programming Language Implementation and Logic Programming, PLILP'93, volume 714, Tallin, Estonia, 1993. LNCS.
  
  
• M-M. Corsini, A. Griffault & A. Rauzy. Yet another Application for Toupie: Verification of Mutual Exclusion Algorithms. In A. Voronkov, editor, Proceedings of Logic Programming and Automated Reasonning, LPAR'93, volume 698, pages 86-97. LNAI, 1993.
  
  
• A. Rauzy. Introducing Constraints over a Ring in Prolog. In Proceedings of Russian Conference of Logic Programming, RCLP'91. LNCS, 1991.
  
  
• A. Rauzy. Knowledge extraction in trivalued propositional logic. In P. Siegel & K. Kruse, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches of Uncertainty, ECSQAU'91, volume 548, pages 287-291. LNCS, 1991.
  
  
• A. Rauzy. A knowledge extraction mechanism from formulae over a ring. In M. de Glas & D. Gabbay, editors, Proceedings of the First World Conference in the Fundamentals of Artificial Intelligence, WOFCAI'91, pages 427-438. Angkor, july 1991.
  
  
• J.M. Boï & A. Rauzy. Two algorithms for constraints system solving in propositional calculus and their implementation in prologIII. In P. Jorrand & V. Sugrev, editors, Proceedings Artificial Intelligence IV Methodology, Systems, Applications (AIMSA'90), pages 139-148. North-Holand, September 1990. Alba-Varna bulgarie.
  
  

International conferences (reliability engineering)

• abstract, AMR07.pdf.zip
  S. Amari, A. Myers & A. Rauzy. An efficient algorithm to analyze new imperfect fault coverage models. In Proceedings of the Reliability And Maintainability Symposium, RAMS'07, 2007. to appear.
  
  
• abstract, DRS06.pdf.zip
  Y. Dutuit, A. Rauzy & J.-P. Signoret. Probabilistic assessments in relationship with Safety Integrity Levels by Using Fault Trees. In Proceedings of ESREL Conference, ESREL06, pages 1619-1624. Taylor & Francis Group, 2006. ISBN 0-415-41620-5.
  
  
• S. Epstein, A. Rauzy & D. Wakefield. Can We Trust PRA: take 3. In Proceedings of PSAM'8, New Orleans. IAPSAM, 2006.
  
  
• S. Epstein, D. Wakefield & A. Rauzy. Very large nuclear risk models and binary decision diagrams. In Illinois American Nuclear Society, La Grange Park, editor, Proceedings of PSA 02, International Topical Meeting on Probabilistic Safety Assessment, Detroit, Michigan, Oct. 6-9, pages 80-84, 2002.
  
  
• C. Berenguer, E. Châtelet, Y. Dutuit & A. Rauzy. Simulation versus markovian methods in system dependability assessment. In International Conference on Industrial Logistics 2001 (ICIL'01), Okinawa, Japan, 2001.
  
  
• abstract, DLR00a.pdf.zip
  Y. Dutuit, O. Lemaire & A. Rauzy. New Insight on Measures of Importance of Components and Systems in Fault Tree Analysis. In S. Kondo & K. Furuta, editors, Proceedings of the International Conference on Probabilistic Safety Assessment and Management, PSAM'5, pages 729-734. Universal Academy Press, 2000. ISBN 4-946443-64-9.
  
  
• abstract, DPRT00a.pdf.zip
  F. Ducamp, S. Planchon, A. Rauzy & P. Thomas. Handling very large Event Trees by means of Binary Decision Diagrams. In S. Kondo & K. Furuta, editors, to appear in proceedings of the International Conference on Probabilistic Safety Assessment and Management, PSAM'5, pages 1447-1452. Universal Academy Press, 2000. ISBN 4-946443-64-9.
  
  
• A. Rauzy & R. Winckell. Compilation of constraint automata into fault trees. In Proceedings of the European Safety and Reliability Association Conference, ESREL'99, volume 2, pages 815-821. A.A. Balkema, 1999. ISBN 90 5809 111 2.
  
  
• abstract, DR99b.pdf.zip
  Y. Dutuit & A. Rauzy. New algorithms to compute importance factors CPr, MIF, CIF, DIF, RAW and RRW. In Proceedings of the European Safety and Reliability Association Conference, ESREL'99, volume 2, pages 1015-1020. A.A. Balkema, 1999. ISBN 90 5809 111 2.
  
  
• M. Nikolskaia & A. Rauzy. Fine-tuning of boolean formulae preprocessing techniques. In Proceedings of the European Safety and Reliability Association Conference, ESREL'99, volume 2, pages 1027-1032. A.A. Balkema, 1999. ISBN 90 5809 111 2.
  
  
• abstract
  Y. Dutuit, A. Rauzy & J.-P. Signoret. Evaluation of systems reliability by means of binary decision diagram. In Proceedings of the Probabilistic Safety Assessment Conference, PSA'99, volume 1, pages 521-528. American Nuclear Society, 1999. ISBN 0-89448-640-3.
  
  
• abstract
  Y. Dutuit & A. Rauzy. A guided tour of minimal cutsets handling by means of binary decision diagrams. In Proceedings of Probabilistic Safety Assessment conference, PSA'99, volume 2, pages 55-62. American Nuclear Society, 1999. ISBN 0-89448-640-3.
  
  
• A. Rauzy. A tutorial introduction to formal verification and its application to dependability analyses. In Lydersen, Hansen & Sandtorv, editors, Proceedings of European Safety and Reliability Association Conference, ESREL'98, pages 1237-1242. Balkerna, Rotterdam, 1998. ISBN 90 54 10 966 1.
  
  
• H. Desille, F. Meunier, A. Rauzy & P. Thomas. Conception Optimization Based on the Definition of Availability Allocation Taking into Account Cost Constraint. In A. Mosleh & R.A. Bari, editors, Proceedings of the International Conference of Probabilistic Safety Assessment and Management, PSAM'4, volume 2, pages 1591-1596, New-York, 1998. Springer Verlag.
  
  
• S. Combacon, Y. Dutuit, A. Laviron & A. Rauzy. Comparison between two tools (Aralia and ESCAF) applied to the Study of the Emergency Shutdown System of a Nuclear Reactor. In A. Mosleh & R.A. Bari, editors, Proceedings of the International Conference of Probabilistic Safety Assessment and Management, PSAM'4, volume 2, pages 1019-1024, New-York, 1998. Springer Verlag.
  
  
• J.P. Signoret, S. Lajeunesse, G. Point, P. Thomas, A. Griffault & A. Rauzy. The Altarica Language. In Lydersen, Hansen & Sandtorv, editors, Proceedings of European Safety and Reliability Association Conference, ESREL'98, page ? Balkerna, Rotterdam, 1998. ISBN 90 54 10 966 1.
  
  
• Y. Dutuit & A. Rauzy. Polynomial approximations of boolean functions by means of positive binary decision diagrams. In Lydersen, Hansen & Sandtorv, editors, Proceedings of European Safety and Reliability Association Conference, ESREL'98, pages 1467-1472. Balkerna, Rotterdam, 1998. ISBN 90 54 10 966 1.
  
  
• M. Nikolskaia & A. Rauzy. Heuristics for bdd handling of sum-of-products formulae. In Lydersen, Hansen & Sandtorv, editors, Proceedings of European Safety and Reliability Association Conference, ESREL'98, pages 1459-1465. Balkerna, Rotterdam, 1998. ISBN 90 54 10 966 1.
  
  
• F. Meunier, A. Rauzy & P. Thomas. Sherloc: a desk calculator for availability allocation in fault trees. In Lydersen, Hansen & Sandtorv, editors, Proceedings of European Safety and Reliability Association Conference, ESREL'98, page ? Balkerna, Rotterdam, 1998. ISBN 90 54 10 966 1.
  
  
• S. Lajeunesse & A. Rauzy. Using the constraint system toupie to perform reliability analyses. In C. Guedes Soares, editor, Proceedings of European Safety and Reliability Association Conference, ESREL'97, volume 3. Pergamon, 1997. ISBN 0-08-042835-5.
  
  
• abstract, BBR97.pdf.zip
  M. Bouissou, F. Bruyère & A. Rauzy. BDD based Fault-Tree Processing: A Comparison of Variable Ordering Heuristics. In C. Guedes Soares, editor, Proceedings of European Safety and Reliability Association Conference, ESREL'97, volume 3, pages 2045-2052. Pergamon, 1997. ISBN 0-08-042835-5.
  
  
• abstract
  Y. Dutuit & A. Rauzy. Handling boolean models with loops. In C. Guedes Soares, editor, Proceedings of European Safety and Reliability Association Conference, ESREL'97, volume 3, pages 2063-2070. Pergamon, 1997. ISBN 0-08-042835-5.
  
  
• abstract, DRS97c.pdf.zip
  Y. Dutuit, A. Rauzy & J.-P. Signoret. Monte-carlo simulation to propagate uncertainties in fault trees encoded by means of binary decision diagrams. In Proceedings of the 1st International Conference on Mathematical Methods in Reliability, MMR'97, pages 305-312, 1997.
  
  
• abstract
  Y. Dutuit & A. Rauzy. A new notion of prime implicants and its implementation by means of binary decision diagrams. In Proceedings of the 1st International Conference on Mathematical Methods in Reliability, MMR'97, pages 111-119, 1997.
  
  
• abstract, DRS96.pdf.zip
  Y. Dutuit, A. Rauzy & J.-P. Signoret. Réséda: a Reliability Network Analyser. In C. Cacciabue & I.A. Papazoglou, editors, Proceedings of European Safety and Reliability Association Conference, ESREL'96, volume 3, pages 1947-1952. Springer Verlag, 1996. ISBN 3-540-76051-2.
  
  

Theses

• A. Rauzy. L'évaluation sémantique en calcul propositionnel. Thèse de doctorat, Groupe d'Intelligence Artificielle Université Aix-Marseille II, Faculté de Luminy, Janvier 1989.
  
  
• hdr.ps.zip
  A. Rauzy. Démonstration automatique expérimentale. Habilitation à diriger des recherches, Laboratoire Bordelais de Recherches en Informatique (LaBRI), Université Bordeaux I, 1996.
  
  

Book chapters

• abstract, Rau06a.pdf.zip
  A. Rauzy. BDD for Reliability Studies. In K.B. Misra, editor, An overview and New Trends in Performability Engineering. International Journal of Performability Engineering, 2006. To appear.
  
  
• Y. Dutuit & A. Rauzy. Approche analytique événementielle. In E. Niel & E. Craye, editors, Maîtrise des Risques et Sûreté de fonctionnement des Systèmes de Production. Hermès-Lavoisier, 2001.
  
  
• A. Rauzy. Toupie : a Constraint Language for Model Checking. In M. Nivat & A. Podelski, editors, Constraints: Basics and Trends, volume 910, pages 193-207. Springer Verlag (LNCS), 1995.
  
  
• A. Rauzy. Boolean unification: an efficient algorithm. In A. Colmerauer & F. Benhamou, editors, Constraint Logic Programming: Selected Research, pages 237-251. MIT Press, 1993. ISBN 0-262-02353-9.
  
  

National journals

• abstract, GR99.pdf.zip
  R. Génisson & A. Rauzy. Où la polynomialité n'est qu'énumérative. Revue d'Intelligence Artificielle, 13(2):355-388, 1999.
  
  
• B. Benhamou, R. Génisson & A. Rauzy. Une version concurrente de la procédure de Davis et Putnam. Revue d'Intelligence Artificielle, 10(4):499-506, 1996. Note de recherche.
  
  
• O. Papini & A. Rauzy. Révision: mettons un bémol. Revue Française d'Intelligence Artificielle, 9(4):455-474, 1995.
  
  
• M.-M. Corsini & A. Rauzy. Toupie : un langage de programmation par contraintes pour l'analyse formelle de programmes concurrents. Technique et Science Informatiques, 14(6):753-782, June 1995.
  
  
• J.M. Boï, E. Innocente, A. Rauzy & P. Siegel. Production Fields: a New Approach to Deduction Problems and two Algorithms for Propositional Calculus. Revue Française d'Intelligence Artificielle, 06(3):235-253, 1992.
  
  
• S. Jeannicot, L. Oxusoff & A. Rauzy. Évaluation Sémantique en Calcul Propositionnel. Revue d'Intelligence Artificielle, 2:41-60, 1988.
  
  

National conferences

• J.-L. Chabot, Y. Dutuit & A. Rauzy. Une introduction au traitement dynamique de la fiabilité des systèmes par réseaux de petri hybrides. In JN FIAB 3-Troisième Conférence Nationale Fiabilité des matériaux et des structures, 2001.
  
  
• F. Ducamp, F. Meunier, A. Rauzy, J.-P. Signoret & P. Thomas. Traitement des arbres d'événements. problèmes et solutions. In Acte du congrès lµ'12, pages 269-274, 2000.
  
  
• J.-L. Chabot, Y. Dutuit, A. Rauzy & J.-P. Signoret. MINIPLANT, un cas pédagogique de sûreté de fonctionnement. In Acte du congrès lµ'12, pages 199-204, 2000.
  
  
• D. Bégay & A. Rauzy. Un exemple réaliste d'application des méthodes formelles. In Actes du congrès lµ'12, pages 147-156, 2000.
  
  
• M. Nikolskaia & A. Rauzy. Application des diagrammes binaires d'expressions au traitement d'arbres de défaillance. In Actes du congrès lµ'12, pages 363-367, 2000.
  
  
• A. Rauzy, L. Sais & L. Brisoux. Calcul propositionnel : Vers une extension du formalisme. In Actes de Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99, 1999.
  
  
• F. Coletti, Y. Dutuit & A. Rauzy. Un cas pédagogique illustrant la notion multiforme de dépendance en sûreté de fonctionnement. In Actes du colloque CNR-IUT'99, 1999.
  
  
• S. Colin, F. Mesnard & A. Rauzy. Un module prolog de mu-calcul booléen : une réalisation par BDD. In Actes des journées francophones de programmation logique et par contraintes, JFPLC'99, 1999.
  
  
• P. Thomas & A. Rauzy. Hévéa : un gestionnaire d'arbres d'événements couplé à aralia/simtree. In Actes du colloque Qualita'99, pages 463-474, 1999. ISBN 2-900-781-43-4.
  
  
• Y. Dutuit, A. Rauzy, J.-P. Signoret & P. Thomas. Disponibilité d'un système en attente et périodiquement testé. In Actes du colloque Qualita'99, pages 367-376, 1999. ISBN 2-900-781-43-4.
  
  
• G. Point & A. Rauzy. AltaRica: Langage de modélisation par automates à contraintes. In Actes du 2^ieme congrès sur la modélisation de systèmes réactifs, MSR'99, 1999.
  
  
• J.-P. Signoret, Y. Dutuit & A. Rauzy. Propogation des incertidudes à travers les arbres de de défaillances et analyse de sensibilité. In Actes du 11^ieme colloque national de Fiabilité et Maintenabilité, lµ11, pages 585-594. SEE, 1998.
  
  
• G. Point, P. Thomas, S. Lajeunesse, A. Rauzy & J.-P. Signoret. Le langage AltaRica. In Actes du 11^ieme colloque national de Fiabilité et Maintenabilité, lµ11, pages 119-125. SEE, 1998.
  
  
• P. Thomas, F. Meunier & A. Rauzy. Sherloc : outil d'allocation d'indisponibilité pour les arbres de défaillance. In Actes du 11^ieme colloque national de Fiabilité et Maintenabilité, lµ11, pages 278-283. SEE, 1998.
  
  
• S. Lajeunesse & A. Rauzy. Utilisation du système de programmation par contraintes Toupie pour l'analyse de dysfonctionnements de systèmes industriels. In Actes du congrès Qualité et Sûreté de Fonctionnement, pages 395-404, 1997.
  
  
• Y. Dutuit, P. Thomas, A. Rauzy & J.-P. Signoret. Analyse qualitative et quantitative de la fiabilité d'un système dynamique. In Actes du 2^ieme Congrès Pluridisciplinaire Qualité et Sûreté de Fonctionnement, pages 243-250, Mars 1997. Anger.
  
  
• F. Meunier, A. Rauzy & P. Thomas. Utilisation de la méthode du gradient descendant pour l'allocation de fiabilité. In Actes de la 3^ieme Conférence Nationale sur la Résolution Pratique de Problèmes NP-Complets, pages 109-112, 1997.
  
  
• Y. Dutuit, P. Thomas, A. Rauzy & J.-P. Signoret. Modélisation d'un système dynamique simple et évaluation de sa fiabilité par réseaux de petri stochastiques. In Actes du 10^e colloque national Fiabilité & Maintenabilité, lµ 10, pages 648-659. Société des Electriciens et des Electroniciens, 1996.
  
  
• R. Génisson & A. Rauzy. Efficient Horn renaming: yet a Davis and Putnam's procedure. In Résolution Pratique de Problèmes NP-Complets, CNPC'96, pages 169-184. Teknea, 1996. Also, Technical Report 1092-95, LaBRI -- URA CNRS 1304 -- Université Bordeaux-I, 1995.
  
  
• R. Génisson & A. Rauzy. Aspects algorithmiques des classes polynomiales du problème sat et des problèmes de satisfaction de constraintes. In Actes du 10^ieme congrès Reconnaissance de Formes et Intelligence Artificielle, RFIA'96, pages 97-108. AFCET-AFIA, 1996.
  
  
• A. Rauzy. Utilisation du langage de contraintes toupie pour analyser des spécifications ``à la parnas''. In J.J. Lesage, editor, Actes du congrès AFCET sur la Modélisation de systèmes réactifs, pages 81-89, 1996.
  
  
• M-M. Corsini & A. Rauzy. Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. In Proceedings of the Journées Francophones de Programmation Logiques (JFPL'94), pages 171-186. LaBRI, Université Bordeaux I, 1994.
  
  
• O. Papini & A. Rauzy. Révision: mettons un bémol (résumé étendu). In Actes des Rencontres Françaises sur l'Intelligence Artificielle, RFIA'94, 1994.
  
  
• M-M. Corsini & A. Rauzy. CLP( B): Do it Yourself. In Proceedings of the 8th Italian Conference on Logic Programming, GULP'93. GULP, June 1993.
  
  
• M-M. Corsini & A. Rauzy. CLP( B) joue la transparence. In P. Ezequel, editor, Actes des Journées Francophones sur la Programmation en Logique, JFPL'93, pages 245-260. Teknea, June 1993.
  
  
• A. Rauzy. Contraintes booléennes et gestion d'arbres de défaillance. In P. Mathieu, editor, in Actes des Journées Francophones sur la Programmation en Logique, JFPL'92, pages 301-313. Université des Sciences et Technologies de Lille, 1992.
  
  
• J.M. Boï & A. Rauzy. La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. In Actes du Séminaire de Programmation en Logique de Trégastel, SPLT'90, pages 511-521. CNET, 1990.
  
  

This document was translated from L^AT_EX by H^EV^EA.