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:
CoRR (2014)
Keyphrases
</>
probabilistic model
agent model
similarity measure
small number
em algorithm
computational model
mathematical model
hierarchical structure
high level
social media
theoretical framework
statistical model
formal model