Login / Signup

Duality-based interpolation for quantifier-free equalities and uninterpreted functions.

Leonardo AltAntti Eero Johannes HyvärinenSepideh AsadiNatasha Sharygina
Published in: FMCAD (2017)
Keyphrases
  • satisfiability modulo theories
  • quantifier free
  • boolean variables
  • quantifier elimination
  • linear programming
  • database
  • search space
  • answer set programming
  • rewrite systems