A dichotomy theorem for the resolution complexity of random constraint satisfaction problems
From MaRDI portal
Publication:2839170
DOI10.1137/110832240zbMATH Open1270.03122OpenAlexW2045417786MaRDI QIDQ2839170
Publication date: 4 July 2013
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/110832240
Analysis of algorithms and problem complexity (68Q25) Complexity of proofs (03F20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication: A dichotomy theorem for the resolution complexity of random constraint satisfaction problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2839170)