ChainSAT
From MaRDI portal
Software:21427
swMATH9444MaRDI QIDQ21427FDOQ21427
Author name not available (Why is that?)
Cited In (8)
- A Local Lemma for Focused Stochastic Algorithms
- The large deviations of the whitening process in random constraint satisfaction problems
- Bose-Einstein condensation in satisfiability problems
- Large-scale parallelism for constraint-based local search: the costas array case study
- Analysis of local search landscapes for \(k\)-SAT instances
- Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions
- Biased measures for random constraint satisfaction problems: larger interaction range and asymptotic expansion
- Biased landscapes for random constraint satisfaction problems
This page was built for software: ChainSAT
