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

Hao Jin Takashi Kitamura Eun-Hye Choi Tatsuhiro Tsuchiya

Published in: ICST Workshops (2018)

Keyphrases

np complete
satisfiability problem
phase transition
decision procedures
satisfiability testing
machine learning
data model
high speed
generation process
quantified boolean formulas