Login / Signup

Detection of infeasible paths using Presburger arithmetic.

Kuniaki NaoiNaohisa Takahashi
Published in: Systems and Computers in Japan (1999)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • video sequences
  • np hard
  • shortest path