Login / Signup

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification.

Hidenao IwaneHiroyuki HiguchiHirokazu Anai
Published in: CASC (2013)
Keyphrases
  • quantifier elimination
  • functional programming
  • sufficient conditions
  • databases
  • knowledge base
  • query language
  • software engineering
  • general purpose
  • higher level
  • temporal information
  • constraint propagation