×
Author ID: coudert.olivier Recent zbMATH articles by "Coudert, Olivier"
Published as: Coudert, Olivier; Coudert, O.
Documents Indexed: 6 Publications since 1991
Co-Authors: 3 Co-Authors with 4 Joint Publications

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 34 times in 30 Documents Cited by Year
A logically complete reasoning maintenance system based on a logical contraint solver. Zbl 0747.68072
Madre, J. C.; Coudert, O.
10
1991
Two-level logic minimization: An overview. Zbl 0818.94025
Coudert, Olivier
10
1994
Doing two-level logic minimization 100 times faster. Zbl 0858.94035
Coudert, Olivier
7
1995
Verifying temporal properties of sequential machines without building their state diagrams. Zbl 0786.68059
Coudert, Olivier; Madre, Jean Christophe; Berthet, Christian
4
1991
Verifying temporal properties of sequential machines without building their state diagrams. Zbl 0765.68119
Coudert, Olivier; Madre, Jean Christophe; Berthet, Christian
3
1991
Doing two-level logic minimization 100 times faster. Zbl 0858.94035
Coudert, Olivier
7
1995
Two-level logic minimization: An overview. Zbl 0818.94025
Coudert, Olivier
10
1994
A logically complete reasoning maintenance system based on a logical contraint solver. Zbl 0747.68072
Madre, J. C.; Coudert, O.
10
1991
Verifying temporal properties of sequential machines without building their state diagrams. Zbl 0786.68059
Coudert, Olivier; Madre, Jean Christophe; Berthet, Christian
4
1991
Verifying temporal properties of sequential machines without building their state diagrams. Zbl 0765.68119
Coudert, Olivier; Madre, Jean Christophe; Berthet, Christian
3
1991

Citations by Year