Login / Signup

BDD Based Procedures for a Theory of Equality with Uninterpreted Functions.

Anuj GoelKhurram SajidHai ZhouAdnan AzizVigyan Singhal
Published in: Formal Methods Syst. Des. (2003)
Keyphrases
  • theoretical framework
  • theoretical basis
  • artificial intelligence
  • general theory
  • information systems
  • multiscale
  • decision theory
  • probability theory
  • formal theory
  • satisfiability modulo theories