Login / Signup

Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality.

Miroslav N. VelevPing Gao
Published in: HLDVT (2009)
Keyphrases
  • decision procedures
  • modal logic
  • automated reasoning
  • theorem proving
  • databases
  • knowledge representation
  • fixpoint
  • temporal logic