CNF Instances from the Software Package Installation Problem.

Josep Argelich Inês Lynce

Published in: RCRA (2008)

Keyphrases

software package
open source
user friendly
software packages
sat instances
boolean functions
stochastic local search
randomly generated
training instances
cross platform
command line
data sets
boolean formula
database server
search algorithm
training data
case study
decision trees
artificial intelligence