A Compiler for Weak Decomposable Negation Normal Form.

Petr Illner Petr Kucera

Published in: AAAI (2024)

Keyphrases

decomposable negation normal form
programming language
general purpose
software systems
np hard
knowledge compilation
data sets
neural network
data mining
information retrieval
high level
level parallelism
distributed memory machines