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