13 search results - page 1 / 3 » Automatic Generation of Redundant Models for Permutation Con... |
CONSTRAINTS
2007
13 years 4 months ago
2007
CONSTRAINTS
2010
13 years 2 months ago
2010
DSOM
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow lar...
CP
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
ECAI
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. A well-known difficulty with solving Constraint Satisfaction Problems (CSPs) is that, while one formulation of a CSP may enable a solver to solve it quickly, a different ...