Backdoor Set
A concept in SAT solving referring to a set of variables whose assignment renders the remaining formula solvable in polynomial time. Backdoor sets are used to characterize the tractable core of an instance.
Timeline (last 90 days)
A backdoor set is a concept in SAT solving: there exists a set of variables such that, once assigned specific values, the remaining formula can be solved in polynomial time.
LinguaArray uses the LLM as a proposer of backdoor sets, but all proposals must be verified by the solver to ensure soundness.
All Facts (2)
A backdoor set is a concept in SAT solving: there exists a set of variables such that, once assigned specific values, the remaining formula can be solved in polynomial time.
50%UnverifiedLinguaArray uses the LLM as a proposer of backdoor sets, but all proposals must be verified by the solver to ensure soundness.
50%