A model of random industrial SAT.

Dina Barak-Pelleg Daniel Berend J. C. Saunders

Published in: Theor. Comput. Sci. (2022)

Keyphrases

computational model
statistical model
probabilistic model
high level
objective function
artificial neural networks
theoretical analysis
conceptual model
data sets
learning algorithm
multi agent
prior knowledge
probability distribution
experimental data