Who Verifies the Verifiers? A Computer-Checked Implementation of the DPLL Algorithm in Dafny.
Cezar-Constantin AndriciStefan CiobacaPublished in: CoRR (2020)
Keyphrases
- learning algorithm
- preprocessing
- experimental evaluation
- worst case
- times faster
- computational cost
- dynamic programming
- high accuracy
- detection algorithm
- significant improvement
- k means
- clustering method
- improved algorithm
- hardware implementation
- recognition algorithm
- search strategy
- convergence rate
- combinatorial optimization
- neural network
- ant colony optimization
- segmentation algorithm
- theoretical analysis
- computer systems
- expectation maximization
- input data
- simulated annealing
- search space
- computational complexity