A MaxSAT-based framework for computing circumscription

Annals of Mathematics and Artificial Intelligence 2026

View at publisher

Authors: Zhongtao Xie, Yisong Wang, Lei Yang, Hongbo Hu

DOI: 10.1007/s10472-025-09997-3

Cited by: 0

References: 45

Fields of Study & Subjects

Formal Methods in Verification Constraint Satisfaction and Optimization Machine Learning and Algorithms

References 45