Sign in
Efficient zonal diagnosis with maximum satisfiability.
Meng Liu
Dantong Ouyang
Shaowei Cai
Liming Zhang
Published in:
Sci. China Inf. Sci. (2018)
Keyphrases
</>
maximum satisfiability
max sat
domain specific
boolean satisfiability