Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mutsunori Banbara' in GoogleThis author has not been identified. Look up 'Haruki Matsunaka' in GoogleThis author has not been identified. Look up 'Naoyuki Tamura' in GoogleThis author has not been identified. Look up 'Katsumi Inoue' in Google

runs on WebDSL