Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. - Mutsunori Banbara; Haruki Matsunaka; Naoyuki Tamura; Katsumi Inoue (LPAR (Yogyakarta), 2010)