Propagation complete encodings of smooth DNNF theories.

Petr Kucera Petr Savický

Published in: Constraints An Int. J. (2022)

Keyphrases

boolean functions
orders of magnitude
theoretical framework
data sets
artificial intelligence
decision making
case study
logic programs
formal models