SAT-Based Approaches to Treewidth Computation: An Evaluation.

Jeremias Berg Matti Järvisalo

Published in: ICTAI (2014)

Keyphrases

evaluation methods
neural network
upper bound
data sets
genetic algorithm
active learning
machine learning algorithms
boolean functions
space complexity
evaluation framework