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

Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue

Browse the full LPAR paper archive.