Sciweavers

Share
GECCO
2010
Springer
211views Optimization» more  GECCO 2010»
9 years 28 days ago
Investigating EA solutions for approximate KKT conditions in smooth problems
Evolutionary algorithms (EAs) are increasingly being applied to solve real-parameter optimization problems due to their flexibility in handling complexities such as non-convexity,...
Rupesh Tulshyan, Ramnik Arora, Kalyanmoy Deb, Joyd...
CAV
2004
Springer
128views Hardware» more  CAV 2004»
9 years 5 months ago
Proving More Properties with Bounded Model Checking
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsiļ¬cation of properties that were not invariants. In this paper we propose a term...
Mohammad Awedh, Fabio Somenzi
books