Verifying the DPLL Algorithm in Dafny.
Cezar-Constantin AndriciStefan CiobacaPublished in: FROM (2019)
Keyphrases
- computational complexity
- optimization algorithm
- search space
- computational cost
- dynamic programming
- detection algorithm
- learning algorithm
- recognition algorithm
- k means
- np hard
- worst case
- high accuracy
- optimal solution
- cost function
- matching algorithm
- improved algorithm
- scheduling problem
- times faster
- first order logic
- computationally efficient
- expectation maximization
- probabilistic model
- significant improvement
- similarity measure