Travelled to:2 × France
8 × USA
Collaborated with:∅ J.C.Madre R.W.Haddad S.Manne H.Fraisse B.Lin C.Berthet I.L.Markov C.Meinel E.Sentovich
Talks about:new (4) problem (3) prime (3) solv (3) algorithm (2) function (2) verifi (2) graph (2) cover (2) base (2)
Person: Olivier Coudert
DBLP: Coudert:Olivier
Contributed to:
20102000
1998199719971996199519931992
1990Wrote 12 papers:
- DAC-2010-Coudert #algorithm #performance #verification
- An efficient algorithm to verify generalized false paths (OC), pp. 188–193.
- DAC-2000-CoudertMMS #framework
- Web-based frameworks to enable CAD RD (OC, ILM, CM, ES), p. 711.
- DATE-1998-Coudert #encoding #paradigm
- A New Paradigm for Dichotomy-based Constrained Encoding (OC), pp. 830–834.
- DAC-1997-Coudert #graph
- Exact Coloring of Real-Life Graphs is Easy (OC), pp. 121–126.
- EDTC-1997-Coudert #graph #optimisation #problem
- Solving graph optimization problems with ZBDDs (OC), pp. 224–228.
- DAC-1996-Coudert #on the #problem
- On Solving Covering Problems (OC), pp. 197–202.
- DAC-1996-CoudertHM #algorithm #case study #comparative
- New Algorithms for Gate Sizing: A Comparative Study (OC, RWH, SM), pp. 734–739.
- DAC-1995-CoudertM #problem
- New Ideas for Solving Covering Problems (OC, JCM), pp. 641–646.
- DAC-1993-CoudertMF #logic
- A New Viewpoint on Two-Level Logic Minimization (OC, JCM, HF), pp. 625–630.
- DAC-1992-CoudertM #incremental
- Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions (OC, JCM), pp. 36–39.
- DAC-1992-LinCM #generative #multi
- Symbolic Prime Generation for Multiple-Valued Functions (BL, OC, JCM), pp. 40–44.
- CAV-1990-CoudertMB #diagrams #verification
- Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams (OC, JCM, CB), pp. 23–32.