Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
暂无分享,去创建一个
Much research in the area of constraint processing has recently been focused on extracting small unsatisfiable "cores" from unsatisfiable constraint systems with the goal of finding minimal unsatis...