Search Results for author:
Found 2 papers, 0 papers with code
CoreDiag: Eliminating Redundancy in Constraint Sets
For example, redundant constraints are specified which often increase both, the effort for calculating a solution and efforts related to knowledge base development and maintenance.
An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets
Another example is the engineering phase of a configuration knowledge base where the underlying constraints can become inconsistent with a set of test cases.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
