Frozen variables in random boolean constraint satisfaction problems
From MaRDI portal
Publication:5741804
DOI10.1137/1.9781611973105.95zbMath1422.68215arXiv1209.4829OpenAlexW2231439187MaRDI QIDQ5741804
No author found.
Publication date: 15 May 2019
Published in: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.4829
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (7)
On the number of solutions in random hypergraph 2-colouring ⋮ Phase transitions in theq-coloring of random hypergraphs ⋮ Planting Colourings Silently ⋮ The large deviations of the whitening process in random constraint satisfaction problems ⋮ Rigid Colorings of Hypergraphs and Contiguity ⋮ Biased landscapes for random constraint satisfaction problems ⋮ Walksat Stalls Well Below Satisfiability
This page was built for publication: Frozen variables in random boolean constraint satisfaction problems
