Login / Signup
Detection of infeasible paths using Presburger arithmetic.
Kuniaki Naoi
Naohisa Takahashi
Published in:
Systems and Computers in Japan (1999)
Keyphrases
</>
presburger arithmetic
quantifier elimination
video sequences
np hard
shortest path