Pages that link to "Item:Q507445"
From MaRDI portal
The following pages link to A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming (Q507445):
Displaying 4 items.
- Probabilistic estimates for the generalized maximum satisfiability problem (Q1327226) (← links)
- Generalized satisfiability problems: Minimal elements and phase transitions. (Q1401338) (← links)
- Super solutions of random \((3 + p)\)-SAT (Q2326395) (← links)
- On the Lower Bounds of (1,0)-Super Solutions for Random k-SAT (Q5384461) (← links)