Login / Signup
Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality.
Miroslav N. Velev
Ping Gao
Published in:
HLDVT (2009)
Keyphrases
</>
decision procedures
modal logic
automated reasoning
theorem proving
databases
knowledge representation
fixpoint
temporal logic