most citedSolving QBF with Counterexample Guided Refinement

150 citations

researchers with a paper here
collaborating institutions
Showing cs.DBShow all

1 paper · 1 filter

cs.DB2026

Publication and Maintenance of Relational Data in Enterprise Knowledge Graphs (Revised Version)

Vânia Maria Ponte Vidal, Valéria Magalhães Pequeno, Marco Antonio Casanova +2

Enterprise knowledge graphs (EKGa) are a novel paradigm for consolidating and semantically integrating large numbers of heterogeneous data sources into a comprehensive dataspace. T…