A complete approach to unreachable state diagnosability via property directed reachability.

Ryan Berryhill Andreas G. Veneris

Published in: ASP-DAC (2016)

Keyphrases

state space
global consistency
artificial intelligence
multiscale
databases
data mining
multimedia
website
digital libraries
expert systems
relational databases