Property Checking By Logic Relaxation.

Eugene Goldberg

Published in: CoRR (2016)

Keyphrases

classical logic
multi valued
logic programming
nonmonotonic logics
case study
objective function
asynchronous circuits
predicate logic
digital circuits
verification method
neural network
deontic logic
computational properties
automated reasoning
modal logic
description logics
lower bound
information retrieval