Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions

DOI10.1145/2629498MaRDI QIDQ2828180zbMATH OpenOpenAlexWikidataFDO

Authors Annalisa Occhipinti, Giuseppe Nicosia, 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

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

Recommendations

• Bose-Einstein condensation in satisfiability problems
• scientific article; zbMATH DE number 956858
• Probabilistic approach to the satisfiability problem
• Statistical physics analysis of the backtrack resolution of random 3-SAT instances
• scientific article; zbMATH DE number 1113991

Cites work

• scientific article; zbMATH DE number 3173999 (Why is no real title available?)
• scientific article; zbMATH DE number 1105634 (Why is no real title available?)
• scientific article; zbMATH DE number 921439 (Why is no real title available?)
• A tabu search approach to the constraint satisfaction problem as a general problem solver
• Bose-Einstein Condensation and Liquid Helium
• Bose-Einstein condensation in satisfiability problems
• Determining computational complexity from characteristic ``phase transitions
• Exact Maxwell-Boltzmann, Bose-Einstein and Fermi-Dirac statistics
• GRASP with path relinking for the weighted MAXSAT problem
• Improving stochastic local search for SAT with a new probability distribution
• Introduction to algorithms
• Linear programs for constraint satisfaction problems
• Modern Coding Theory
• Random formulas have frozen variables
• Replacing energy by von Neumann entropy in quantum phase transitions
• Sgen1, a generator of small but difficult satisfiability benchmarks
• Using local search to find MSSes and MUSes

Cited in

(1)

• Bose-Einstein condensation in satisfiability problems

Describes a project that uses

Uses Software

• ChainSAT
• Walksat

This page was built for publication: Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2828180)