Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers

Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue. Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. In Christian G. Fermüller, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Volume 6397 of Lecture Notes in Computer Science, pages 112-126, Springer, 2010. [doi]

Abstract

Abstract is missing.