Login / Signup
Parametric equation solving and quantifier elimination in finite fields with the characteristic set method.
Zhenyu Huang
Published in:
J. Syst. Sci. Complex. (2012)
Keyphrases
</>
computational complexity
dynamic programming
finite number
artificial intelligence
high level
linear constraints