A Fixed-Parameter Algorithm for Random Instances of Weighted d-CNF Satisfiability

Published in: CoRR (2008)

Keyphrases

computational complexity
randomly generated
dynamic programming
objective function
search space
lower bound
np hard
description logics
computational properties
sat instances
propositional satisfiability
random instances