Sciweavers

4335 search results - page 57 / 867
» Privatizing Constraint Optimization
Sort
View
CAV
1999
Springer
85views Hardware» more  CAV 1999»
14 years 1 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...
HICSS
1998
IEEE
77views Biometrics» more  HICSS 1998»
14 years 1 months ago
Thermal Unit Commitment Including Optimal AC Power Flow Constraints
Carlos Murillo-Sánchez, Robert J. Thomas