Skip to content

MaxSAT-Based Inconsistency Measurement.

Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Jrvisalo

VenueAECAI
Year2023
ProceedingsECAI

Browse the full ECAI paper archive.