Efficient zonal diagnosis with maximum satisfiability 61(11): 112101:1-112101:14 (2018)

Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang
January 2018
PDF DOI
Type
Conference paper
Publication
Sci. China Inf. Sci.
Conf