Login / Signup
Set constraint model and automated encoding into SAT: application to the social golfer problem.
Frédéric Lardeux
Éric Monfroy
Broderick Crawford
Ricardo Soto
Published in:
Ann. Oper. Res. (2015)
Keyphrases
</>
mathematical model
probabilistic model
probability distribution
management system
social networks
social media
computational model
statistical model
neural network
search algorithm
artificial neural networks
cost function
hierarchical structure
network structure
conceptual model
formal model