Login / Signup
All-Instances Termination of Chase is Undecidable.
Tomasz Gogacz
Jerzy Marcinkowski
Published in:
ICALP (2) (2014)
Keyphrases
</>
randomly generated
np complete
query answering
real time
neural network
training set
sufficient conditions
databases
genetic algorithm
linear programming
search procedures
datalog programs
stochastic local search