Discovering the Impact of Group Structure on 3-SAT.

James McQuillan Craig Damon

Published in: FCS (2006)

Keyphrases

data mining
graph structure
group members
database
multiscale
evolutionary algorithm
probabilistic model
phase transition
satisfiability problem
sat problem
sat instances
boolean satisfiability