Login / Signup

Detection of Infeasible Paths Using Presburger Arithmetic.

Kuniaki NaoiNaohisa Takahashi
Published in: COMPSAC (1996)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • databases
  • artificial intelligence
  • relational databases
  • shortest path
  • algebraic structure