Showing cs.CCShow all
2 papers · 1 filter
cs.CC2026
From FPT Decision to FPT Enumeration
Nadia Creignou, Timo Camillo Merkl, Reinhard Pichler +1
Fixed-parameter tractable (FPT) algorithms have been successfully applied to many intractable problems -- with a focus on decision and optimization problems. Their aim is to confin…
cs.CC2024
Consistent Query Answering over SHACL Constraints
Shqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler
The Shapes Constraint Language (SHACL) was standardized by the World Wide Web as a constraint language to describe and validate RDF data graphs. SHACL uses the notion of shapes gra…