Login / Signup
On the quantifier-free dynamic complexity of Reachability.
Thomas Zeume
Thomas Schwentick
Published in:
Inf. Comput. (2015)
Keyphrases
</>
computational complexity
quantifier elimination
database systems
quantifier free