Login / Signup
The Polyhedral Escape Problem is Decidable.
Joël Ouaknine
João Sousa Pinto
James Worrell
Published in:
CoRR (2015)
Keyphrases
</>
line drawings
first order logic
convex hull
database
datalog programs
data sets
polynomial hierarchy
convex sets
logic programs
evolutionary algorithm
information retrieval
machine learning
relational databases
learning algorithm
transitive closure
function symbols
databases
computation tree logic