Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability Problem.

Alexander A. Semenov Oleg Zaikin

Published in: PaCT (2015)

Keyphrases

monte carlo method
markov chain
monte carlo
genetic algorithm
posterior distribution
bayesian learning
learning machines
state space
mathematical models
neural network
feature selection
image reconstruction