Introduces diversity of extensions in argumentation frameworks via symmetric difference and gives a systematic complexity classification for deciding existence of k-diverse extensions and computing maximum diversity.
Maximum Satisfiability , volume =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Backtrackable Inprocessing enables sound inprocessing at arbitrary decision levels in incremental SAT solving and solves about 1.5 times as many difficult bounds on 2017 BMC benchmarks compared to global-level preprocessing.
citing papers explorer
-
Diversity of Extensions in Abstract Argumentation
Introduces diversity of extensions in argumentation frameworks via symmetric difference and gives a systematic complexity classification for deciding existence of k-diverse extensions and computing maximum diversity.
-
Backtrackable Inprocessing
Backtrackable Inprocessing enables sound inprocessing at arbitrary decision levels in incremental SAT solving and solves about 1.5 times as many difficult bounds on 2017 BMC benchmarks compared to global-level preprocessing.