On Probabilistic Generalization of Backdoors in Boolean Satisfiability.

Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov

Browse the full AAAI paper archive.