The following pages link to (Q3624048):
Displaying 3 items.
- Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability (Q840834) (← links)
- Constructing concrete hard instances of the maximum independent set problem (Q5149679) (← links)
- Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden (Q5881807) (← links)