sgen1: A generator of small but difficult satisfiability benchmarks.

Ivor T. A. Spence

Published in: ACM J. Exp. Algorithmics (2010)

Keyphrases

data mining
multi agent
small number
satisfiability problem
artificial intelligence
social networks
search algorithm
error prone
cnf formula
data generator