The following pages link to (Q4471319):
Displaying 9 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)
- SAT distributions with planted assignments and phase transitions between decision and optimization problems (Q2581547) (← links)
- The Normalized Autocorrelation Length of Random Max $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$ (Q2818001) (← 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)
- Tricritical points in random combinatorics: the -SAT case (Q4950549) (← links)
- Sparse graphs: Metrics and random models (Q5198669) (← links)
