Sign in

Adapting Real Quantifier Elimination Methods for Conflict Set Computation.

Maximilian JaroschekPablo Federico DobalPascal Fontaine
Published in: FroCos (2015)
Keyphrases
  • quantifier elimination
  • artificial intelligence
  • object oriented
  • user defined