Algorithms for computing backbones of propositional formulae.

Mikolás Janota Inês Lynce João Marques-Silva

Published in: AI Commun. (2015)

Keyphrases

learning algorithm
optimization problems
orders of magnitude
recently developed
benchmark datasets
search engine
computational complexity
computationally expensive
data structure
worst case
theoretical analysis
machine learning algorithms
times faster