On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF.

Alexis de Colnet

Published in: SAT (2024)

Keyphrases

knowledge compilation
decision making
model counting
dynamic environments
dynamic analysis
high level
boolean functions
decision process
real world
website
data structure
computational complexity
lower bound
decision makers
decision problems
decomposable negation normal form