Bose-Einstein condensation in satisfiability problems

DOI10.1016/J.EJOR.2012.11.039zbMath1292.68109arXiv1304.0810OpenAlexW2046552224WikidataQ59131594 ScholiaQ59131594MaRDI QIDQ2253621

Giuseppe Nicosia, Annalisa Occhipinti, Giovanni Stracquadanio, Claudio Angione

Publication date: 27 July 2014

Published in: European Journal of Operational Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.0810

zbMATH Keywords

performancephase transitionBose-Einstein condensationcomplex networks\(k\)-SAT

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Quantum equilibrium statistical mechanics (general) (82B10) 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)

Related Items (1)

Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions

Uses Software

• ManySAT
• Chaff
• ChainSAT

This page was built for publication: Bose-Einstein condensation in satisfiability problems