A Satisfiability-Based Approach to Generation of Constrained Locating Arrays.

Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya

Browse the full ICST paper archive.