Runtime Complexity Analysis of Logically Constrained Rewriting.

Sarah Winkler Georg Moser

Published in: LOPSTR (2020)

Keyphrases

complexity analysis
theoretical analysis
lower bound
computational complexity
rewriting rules
first order logic
rewrite rules
evolutionary algorithm
databases
neural network
web pages
case study
optimal solution
conjunctive queries
queries using views
presburger arithmetic