Constraint models for the covering test problem
type: Item
instance of: scholarly article
title: Constraint models for the covering test problem
zbMATH Open document ID: 1103.68810
author: Brahim Hnich
author: Steven Prestwich
author: Evgeny Selensky
author: Barbara M. Smith
published in: Constraints
publication date: 2006-11-03T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5070686
zbMATH Keywords: modelling
zbMATH Keywords: covering arrays
zbMATH Keywords: symmetry
zbMATH Keywords: local search
zbMATH Keywords: testing
zbMATH Keywords: chanelling constraints
zbMATH Keywords: global constraints
describes a project that uses: AETG
MaRDI profile type: Publication
full work available at URL: s10601-006-7094-9
OpenAlex ID: W1995563955
cites work: On the state of strength-three covering arrays
cites work: Increasing constraint propagation by redundant modeling: An experience report
cites work: Q3594048
cites work: Tree clustering for constraint networks
cites work: Problems and algorithms for covering arrays
cites work: Recent Advances in Constraints
cites work: Group construction of covering arrays
cites work: Upper bounds for covering arrays by tabu search.
cites work: Negative effects of modeling techniques on search performance
cites work: Vector sets for exhaustive testing of logic circuits
cites work: Covering arrays and intersecting codes
DOI: 10.1007/S10601-006-7094-9
description: scientific article; zbMATH DE number 5070686