Pages that link to "Item:Q1861908"
From MaRDI portal
The following pages link to An overview of backtrack search satisfiability algorithms (Q1861908):
Displaying 6 items.
- Finding kernels or solving SAT (Q414435) (← links)
- Partition search for non-binary constraint satisfaction (Q2372239) (← links)
- A unified framework for DPLL(T) + certificates (Q2375732) (← links)
- Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning (Q3502713) (← links)
- (Q4612479) (← links)
- The Complexity of Propositional Proofs (Q5444711) (← links)
