conftrace_

backdoor set

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sat solver (2) dependency graph (1) penalty method (1) metaheuristic optimization (1) monte carlo approximation (1) fixed-parameter tractability (1) sat solving (1) monte carlo method (1) probabilistic model (1) cycle detection (1)

Papers

Preferred Reasoning in ABA by Cycle-Breaking IJCAI 2024 Probabilistic Generalization of Backdoor Trees with Application to SAT AAAI 2023 On Probabilistic Generalization of Backdoors in Boolean Satisfiability AAAI 2022