Login / Signup
EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations.
Miroslav N. Velev
Randal E. Bryant
Published in:
CAV (2001)
Keyphrases
</>
positive and negative
databases
neural network
artificial intelligence
bayesian networks
automated reasoning
fixpoint