Pages that link to "Item:Q2326395"
From MaRDI portal
The following pages link to Super solutions of random \((3 + p)\)-SAT (Q2326395):
Displaying 3 items.
- A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming (Q507445) (← links)
- On the satisfiability threshold and clustering of solutions of random 3-SAT formulas (Q955013) (← links)
- On the Lower Bounds of (1,0)-Super Solutions for Random k-SAT (Q5384461) (← links)