Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem.

Alexander A. Semenov Oleg Zaikin

Published in: CoRR (2015)

Keyphrases

monte carlo method
markov chain
monte carlo
posterior distribution
bayesian learning
genetic algorithm
maximum likelihood estimation
mathematical models
learning algorithm
optimal solution