Skip to content

Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets.

Guohui Xiao, Yue Ma

VenueAECAI
Year2012
ProceedingsECAI

Browse the full ECAI paper archive.