A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth
Marko SamerStefan SzeiderPublished in: CoRR (2006)
Keyphrases
- cost function
- search space
- optimization algorithm
- worst case
- computational cost
- computational complexity
- detection algorithm
- learning algorithm
- experimental evaluation
- probabilistic model
- upper bound
- space complexity
- dynamic programming
- np hard
- preprocessing
- simulated annealing
- matching algorithm
- similarity measure
- high accuracy
- linear programming
- k means
- decision problems
- convergence rate
- randomly generated