Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?.
Timo BertholdStefan HeinzMarc E. PfetschPublished in: SAT (2009)
Keyphrases
- pseudo boolean optimization
- lower bound
- gauss seidel
- constraint satisfaction problems
- real time
- objective function
- iterative algorithms
- image segmentation
- case study
- evolutionary algorithm
- denoising
- decision trees
- high order
- kernel pca
- linear programming relaxation
- nonlinear equations
- wave propagation
- probabilistic relaxation
- artificial intelligence
- genetic algorithm