Determining Passivity via Quantifier Elimination.

Rick Voßwinkel Dinu Mihailescu-Stoica Frank Schrödel Klaus Röbenack

Published in: MED (2019)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
constraint databases
first order logic
cardinality constraints
data model
constraint satisfaction problems
constraint satisfaction
high level
knowledge representation
object oriented
programming language
expressive power