601 search results - page 11 / 121 » Quantified Equality Constraints |
AUSAI
2009
Springer
14 years 5 days ago
2009
Springer
Regressions has successfully been incorporated into memetic algorithm (MA) to build surrogate models for the objective or constraint landscape of optimization problems. This helps ...
PTS
2010
13 years 6 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
AAECC
1999
Springer
13 years 8 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
COR
2000
13 years 8 months ago
2000
Abstract
JSYML
2008
13 years 8 months ago
2008
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...