An improved SAT formulation for the social golfer problem.

Markus Triska Nysret Musliu

Published in: Ann. Oper. Res. (2012)

Keyphrases

social media
social networks
social interaction
satisfiability problem
social learning
knowledge sharing
social context
phase transition
sat solvers
human behavior
max sat
social behavior
boolean satisfiability
stochastic local search algorithms