C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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