Sign in

STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra.

Evgeny PavlenkoMarkus WedlerDominik StoffelWolfgang KunzAlexander DreyerFrank SeelischGert-Martin Greuel
Published in: DATE (2011)
Keyphrases
  • computer algebra
  • solving problems
  • knowledge base
  • reasoning tasks
  • information retrieval
  • decision problems
  • real valued
  • hard problems
  • computationally hard
  • computer algebra systems