Pages that link to "Item:Q5458517"

The following pages link to Guided Search and a Faster Deterministic Algorithm for 3-SAT (Q5458517):

Displaying 3 items.

• Derandomizing the HSSW algorithm for 3-SAT (Q378221) (← links)
• A new upper bound for \(( n , 3)\)-MAX-SAT (Q1946835) (← links)
• Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT (Q5002768) (← links)