Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions.
Claudio AngioneAnnalisa OcchipintiGiuseppe NicosiaPublished in: ACM J. Exp. Algorithmics (2014)
Keyphrases
- statistical distributions
- satisfiability problem
- statistical distribution
- np complete
- propositional logic
- mixture distributions
- computational complexity
- inertia weight particle swarm optimization
- phase transition
- probability density function
- spherical harmonics
- quantified boolean formulas
- satisfiability testing
- sat problem
- image segmentation
- machine learning
- constraint satisfaction
- feature vectors
- search algorithm