CoReS: A tool for computing core graphs via SAT/SMT solvers☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This is the extended version of a short tool paper published at ICGT 2018 [17]. Compared to the conference version we have added encodings for hypergraphs, two application scenarios (invariant checking and minimization of conjunctive queries) in Section 3, new runtime results for hypergraph core computations in Section 5 and a new (minor) result concerning hypergraphs with node extensions (Proposition 19).
© 2019 Elsevier Inc.