Hai Liu, Feifei Ma, Jian Zhang. Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. In Richard Booth, Min-Ling Zhang, editors, PRICAI 2016: Trends in Artificial Intelligence - 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings. Volume 9810 of Lecture Notes in Computer Science, pages 262-270, Springer, 2016. [doi]
Abstract is missing.