Propagation based local search for bit-precise reasoning.
Aina NiemetzMathias PreinerArmin BierePublished in: Formal Methods Syst. Des. (2017)
Keyphrases
- search algorithm
- genetic algorithm
- search space
- simulated annealing
- combinatorial optimization
- knowledge base
- knowledge representation
- neighborhood search
- tabu search
- spatial reasoning
- reasoning systems
- global search
- automated reasoning
- meta level
- memetic algorithm
- reasoning tasks
- production rules
- hybrid ga
- belief updating
- search strategies
- model based diagnosis
- description logics
- fuzzy logic
- bayesian networks
- social networks