On the quantifier-free dynamic complexity of Reachability.

Thomas Zeume Thomas Schwentick

Published in: CoRR (2013)

Keyphrases

quantifier free
state space
first order logic
machine learning
computational complexity
real numbers