A MaxSAT-based framework for computing circumscription.

Zhongtao Xie, Yisong Wang, Lei Yang, Hongbo Hu
January 2026
Cite DOI
Type
Journal article
Publication
Ann. Math. Artif. Intell.
Zhongtao Xie
Zhongtao Xie
PhD Graduate

Ph.D. candidate