×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of olivier-coudert
Exact coloring of real-life graphs is easy
190 views
Timing and Design Closure in Physical Design Flows
322 views
An Efficient Algorithm to Verify Generalized False Paths
149 views
On Solving Covering Problems
156 views
A Performance Study of BDD-Based Model Checking
141 views