Propagation complete encodings of smooth DNNF theories.

Petr Kucera Petr Savický

Published in: CoRR (2019)

Keyphrases

boolean functions
orders of magnitude
real time
data sets
website
expert systems
knowledge representation
theoretical framework
smooth surfaces
wave propagation