The following pages link to (Q4471319):
Displayed 6 items.
- On the lower bounds of random Max 3 and 4-SAT (Q1752631) (← links)
- Structure of large random hypergraphs (Q1774214) (← links)
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (Q2457672) (← links)
- An Empirical Study of MAX-2-SAT Phase Transitions (Q3439118) (← links)
- On the Lower Bounds of Random Max 3 and 4-SAT (Q4632196) (← links)
- Sparse graphs: Metrics and random models (Q5198669) (← links)