Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya. A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018. pages 285-294, IEEE, 2018. [doi]
Abstract is missing.