A Graphical #SAT Algorithm for Formulae with Small Clause Density.
Tuomas LaakkonenKonstantinos MeichanetzidisJohn van de WeteringPublished in: CoRR (2022)
Keyphrases
- search space
- learning algorithm
- optimization algorithm
- k means
- detection algorithm
- expectation maximization
- cost function
- dynamic programming
- high accuracy
- randomly generated
- recognition algorithm
- convergence rate
- experimental evaluation
- significant improvement
- computational complexity
- objective function
- particle swarm optimization
- np hard
- matching algorithm
- search strategy
- optimal solution
- satisfiability problem