Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions

DOI10.1145/2629498zbMath1347.68177OpenAlexW1971402327WikidataQ59131584 ScholiaQ59131584MaRDI QIDQ2828180

Giuseppe Nicosia, Annalisa Occhipinti, Claudio Angione

Publication date: 24 October 2016

Published in: ACM Journal of Experimental Algorithmics (Search for Journal in Brave)

Full work available at URL: https://research.tees.ac.uk/ws/files/4181394/601129.pdf

zbMATH Keywords

phase transitioncomplex networkSATSAT solversBose-Einstein distributionMaxwell-Boltzmann distributionphysics-inspired computation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Walksat
• ChainSAT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Replacing energy by von Neumann entropy in quantum phase transitions
• Exact Maxwell-Boltzmann, Bose-Einstein and Fermi-Dirac statistics
• Using local search to find MSSes and MUSes
• Linear programs for constraint satisfaction problems
• A tabu search approach to the constraint satisfaction problem as a general problem solver
• Bose-Einstein condensation in satisfiability problems
• Bose-Einstein Condensation and Liquid Helium
• Modern Coding Theory
• GRASP with path relinking for the weighted MAXSAT problem
• Improving Stochastic Local Search for SAT with a New Probability Distribution
• Random Formulas Have Frozen Variables
• Determining computational complexity from characteristic ‘phase transitions’
• sgen1

This page was built for publication: Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions