Probabilistic Generalization of Backdoor Trees with Application to SAT.

Alexander A. Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi

Browse the full AAAI paper archive.