On the satisfiability problem for SPARQL patterns.

Xiaowang Zhang Jan Van den Bussche

Published in: CoRR (2014)

Keyphrases

satisfiability problem
temporal logic
np complete
search algorithm
sat problem
phase transition
pspace complete
data model
max sat
stochastic local search algorithms
linked data
stochastic local search
query language
sat instances
data exchange
objective function
finite domain