A bottom-up algorithm for solving ♯2SAT.
Guillermo De ItaJosé Raymundo Marcial-RomeroJosé Antonio Hernández ServínPublished in: Log. J. IGPL (2020)
Keyphrases
- detection algorithm
- cost function
- experimental evaluation
- objective function
- preprocessing
- significant improvement
- learning algorithm
- search space
- k means
- times faster
- optimization algorithm
- linear programming
- high accuracy
- dynamic programming
- computational cost
- np hard
- computational complexity
- recognition algorithm
- randomly generated
- search strategy
- probabilistic model
- clustering algorithm