×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of olivier-coudert
Timing and Design Closure in Physical Design Flows
324 views
A Performance Study of BDD-Based Model Checking
142 views
Exact coloring of real-life graphs is easy
191 views
An Efficient Algorithm to Verify Generalized False Paths
149 views
On Solving Covering Problems
156 views