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