Login / Signup

SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation).

Bard BloomDavid GroveBenjamin HertaAshish SabharwalHorst SamulowitzVijay A. Saraswat
Published in: SAT (2012)
Keyphrases
  • lightweight
  • main contribution
  • data sets
  • genetic algorithm
  • learning algorithm
  • multimedia
  • probabilistic model