Login / Signup

Boolean Quantifier Elimination for Automotive Configuration - A Case Study.

Christoph ZenglerWolfgang Küchlin
Published in: FMICS (2013)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • presburger arithmetic
  • functional programming
  • constraint databases
  • first order logic
  • cardinality constraints
  • database
  • search algorithm
  • inference rules