Revisiting the Complexity Analysis of Conflict-Based Search: New Computational Techniques and Improved Bounds.
Ofir GordonYuval FilmusOren SalzmanPublished in: SOCS (2021)
Keyphrases
- complexity analysis
- lower bound
- theoretical analysis
- upper bound
- search algorithm
- first order logic
- error bounds
- semantic search
- artificial intelligence
- conflict resolution
- search strategy
- search strategies
- exhaustive search
- evolutionary search
- database
- query formulation
- search methods
- worst case
- computational complexity
- data mining
- neural network