Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic
['Hai Liu', 'Feifei Ma', 'Jian Zhang']
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic