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 11th 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 2ieme 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 11ieme 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 11ieme 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 11ieme 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 2ieme 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 3ieme 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 10e 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 10ieme 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 LATEX by
HEVEA.