conftrace_

weak backdoor

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

exponential algorithm (1) boolean formula (1) sat solving (1) parameterized complexity (1) local search (1) parameterized algorithm (1) boolean satisfiability (1)

Papers

Faster Algorithms for Weak Backdoors AAAI 2022