Login / Signup
Probabilistic Generalization of Backdoor Trees with Application to SAT.
Alexander A. Semenov
Daniil Chivilikhin
Stepan Kochemazov
Ibragim Dzhiblavi
Published in:
AAAI (2023)
Keyphrases
</>
decision trees
bayesian networks
search algorithm
data sets
neural network
special case
uncertain data