A Model of Random Industrial SAT.

Dina Barak-Pelleg Daniel Berend J. C. Saunders

Published in: CoRR (2019)

Keyphrases

probabilistic model
mathematical model
search algorithm
parameter estimation
computational model
experimental data
formal model
randomly generated
genetic algorithm
high level
prior knowledge
cost function
theoretical analysis
simulation model