Invited Talk: Local Search for Bit-Precise Reasoning and Beyond.
Aina NiemetzPublished in: SMT (2022)
Keyphrases
- invited talk
- knowledge discovery and data mining
- selected papers
- search algorithm
- knowledge base
- knowledge representation
- search space
- simulated annealing
- database
- global search
- machine learning
- genetic algorithm
- reasoning process
- program committee
- tabu search
- stochastic local search
- memetic algorithm
- international workshop
- researchers and practitioners
- combinatorial optimization
- learning process
- data mining
- real world