Pages that link to "Item:Q596103"
From MaRDI portal
The following pages link to Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances (Q596103):
Displaying 5 items.
- An efficient approach to solving random \(k\)-SAT problems (Q877837) (← links)
- Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT (Q1777400) (← links)
- An average analysis of backtracking on random constraint satisfaction problems (Q2349811) (← links)
- Statistical physics analysis of the backtrack resolution of random 3-SAT instances (Q2741512) (← links)
- Computer Science Logic (Q5311247) (← links)