Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our proposed models exploit non-binary (global) constraints, redundant modelling, channelling constraints, and symmetry breaking constraints. Our initial experiments show that with our best integrated model, we are able to either prove optimality of existing bounds or find new optimal values for arrays of moderate size. Local search on a SAT-encoding of the model is able to find improved bounds on larger problems. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Hnich, B., Prestwich, S., & Selensky, E. (2005). Constraint-based approaches to the covering test problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3419 LNAI, pp. 172–186). https://doi.org/10.1007/11402763_13
Mendeley helps you to discover research relevant for your work.