Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition.

Published in: Annual Simulation Symposium (1995)

Keyphrases

multi valued
logic programming
classical logic
social networks
high quality
computationally efficient
mathematical model
proof theory
simulation model
database
network design
complex data
valued logic
digital circuits
set theory
network analysis
highly accurate
social network analysis
data sets