• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic.

Shuvendu K. LahiriKrishna K. Mehra
Published in: J. Satisf. Boolean Model. Comput. (2007)
Keyphrases
  • quantifier elimination
  • presburger arithmetic
  • quantifier free
  • constraint propagation
  • functional programming
  • constraint databases
  • first order logic
  • cardinality constraints
  • database
  • constraint satisfaction