Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2001.01835
Cited By
Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof
7 January 2020
P. Rodler
FAtt
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof"
1 / 1 papers shown
Title
An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets
Alexander Felfernig
Monika Schubert
Christoph Zehentner
36
190
0
17 Feb 2021
1
