Login / Signup

Inner and outer approximate quantifier elimination for general reachability problems.

Eric GoubaultSylvie Putot
Published in: HSCC (2024)
Keyphrases
  • special case
  • quantifier elimination
  • knowledge base
  • data exchange
  • query processing
  • constraint satisfaction
  • constraint propagation