Login / Signup
Equivalence Checking By Logic Relaxation.
Eugene Goldberg
Published in:
CoRR (2015)
Keyphrases
</>
modal logic
multi valued
classical logic
artificial intelligence
automated reasoning
probabilistic relaxation
iterative algorithms
predicate logic
case study
integrity constraints
probabilistic logic
deontic logic
proof theory
sound and complete axiomatization