Sciweavers

5263 search results - page 61 / 1053
» Open Constraint Optimization
Sort
View
100
Voted
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 8 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...