Login / Signup

Expressively Modeling the Social Golfer Problem in SAT.

Frédéric LardeuxÉric Monfroy
Published in: ICCS (2015)
Keyphrases
  • social networks
  • search algorithm
  • social interaction
  • satisfiability problem
  • data sets
  • information systems
  • randomly generated
  • modeling method