A Parametric Polynomial Deterministic Algorithm for #2SAT.
José Raymundo Marcial-RomeroGuillermo De Ita LunaJosé Antonio Hernández ServínRosa Maria ValdovinosPublished in: MICAI (1) (2015)
Keyphrases
- dynamic programming
- high accuracy
- k means
- experimental evaluation
- learning algorithm
- times faster
- matching algorithm
- optimization algorithm
- computational complexity
- objective function
- computational cost
- recognition algorithm
- search space
- simulated annealing
- np hard
- significant improvement
- worst case
- particle swarm optimization
- detection algorithm
- satisfiability problem
- search strategies
- convergence rate
- propositional satisfiability
- expectation maximization
- linear programming
- probabilistic model
- cost function
- reinforcement learning