Finding Minimum Locating Arrays Using a SAT Solver.

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Browse the full ICST paper archive.