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
phase transitioncomplex networkSATSAT solversBose-Einstein distributionMaxwell-Boltzmann distributionphysics-inspired computation
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Uses Software
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