Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method
From MaRDI portal
Publication:2843226
DOI10.1007/978-3-642-31594-7_1zbMath1272.68368OpenAlexW103006077MaRDI QIDQ2843226
Ricardo Menchaca-Mendez, Demetrios Achlioptas
Publication date: 12 August 2013
Published in: Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31594-7_1
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication: Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method
