ChainSAT
From MaRDI portal
Cited in
(10)- The large deviations of the whitening process in random constraint satisfaction problems
- Bose-Einstein condensation in satisfiability problems
- Grid BnB
- Sparrow2011
- Analysis of local search landscapes for \(k\)-SAT instances
- Large-scale parallelism for constraint-based local search: the costas array case study
- Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions
- Biased measures for random constraint satisfaction problems: larger interaction range and asymptotic expansion
- A local lemma for focused stochastic algorithms
- Biased landscapes for random constraint satisfaction problems
This page was built for software: ChainSAT
