Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution).
Paulína AyaziováJan StrejcekPublished in: TACAS (2) (2023)
Keyphrases
- computationally efficient
- dynamic programming
- objective function
- learning algorithm
- improved algorithm
- detection algorithm
- significant improvement
- single pass
- optimization algorithm
- high accuracy
- experimental evaluation
- worst case
- np hard
- cost function
- computational complexity
- classification algorithm
- expectation maximization
- preprocessing
- experimental study
- recognition algorithm
- optimal solution
- highly efficient
- selection algorithm
- memory requirements
- matching algorithm
- pattern matching
- maximum likelihood
- linear programming