A Satisfiability Algorithm for Deterministic Width-2 Branching Programs.
Tomu MakitaAtsuki NagaoTatsuki OkadaKazuhisa SetoJunichi TeruyamaPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2022)
Keyphrases
- computational complexity
- computational cost
- optimization algorithm
- k means
- search space
- times faster
- dynamic programming
- experimental evaluation
- worst case
- relaxation algorithm
- detection algorithm
- expectation maximization
- convergence rate
- high accuracy
- probabilistic model
- np hard
- significant improvement
- particle swarm optimization
- noisy data
- matching algorithm
- satisfiability problem
- constraint satisfaction problems
- segmentation algorithm
- theoretical analysis
- np complete
- image sequences
- cost function
- similarity measure