Pages that link to "Item:Q2749857"
From MaRDI portal
The following pages link to SAT local search algorithms: Worst-case study (Q2749857):
Displaying 8 items.
- Local search for Boolean satisfiability with configuration checking and subscore (Q490437) (← links)
- Worst-case study of local search for MAX-\(k\)-SAT. (Q1408379) (← links)
- Local search algorithms for SAT: an empirical evaluation (Q1581848) (← links)
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (Q1777395) (← links)
- SAT local search algorithms: Worst-case study (Q1977754) (← links)
- Local search algorithms for SAT: an empirical evaluation (Q2749854) (← links)
- Local search algorithms for SAT: Worst-case analysis (Q5054860) (← links)
- Theory and Applications of Satisfiability Testing (Q5713718) (← links)