ISSN 1000-1239 CN 11-1777/TP
Computing Propositional Minimal Models: MiniSAT-Based Approaches
Zhang Li, Wang Yisong, Xie Zhongtao, Feng Renyan
Journal of Computer Research and Development . 2021, (11): 2515 -2523 .  DOI: 10.7544/issn1000-1239.2021.20200370