Synthetic Tableaux: Minimal Tableau Search Heuristics.
Michal SochanskiDorota Leszczynska-JasionSzymon ChlebowskiAgata TomczykMarcin JukiewiczPublished in: IJCAR (2022)
Keyphrases
- search heuristics
- constraint programming
- evolutionary algorithm
- tabu search
- search strategy
- proof procedure
- search algorithm
- description logics
- genetic algorithm
- beam search
- search strategies
- knapsack problem
- branch and bound search
- modal logic
- theorem proving
- search procedures
- learning algorithm
- metaheuristic
- constraint satisfaction problems
- worst case
- wireless sensor networks
- neural network