Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2012.11078
Cited By
DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis
21 December 2020
P. Rodler
Re-assign community
ArXiv
PDF
HTML
Papers citing
"DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis"
1 / 1 papers shown
Title
An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets
Alexander Felfernig
Monika Schubert
Christoph Zehentner
38
190
0
17 Feb 2021
1
