2 search results - page 1 / 1 » Does This Set of Clauses Overlap with at Least One MUS |
CADE
2009
Springer
14 years 6 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
PKDD
2010
Springer
13 years 3 months ago
2010
Springer
The goal of graph clustering is to partition objects in a graph database into different clusters based on various criteria such as vertex connectivity, neighborhood similarity or t...