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