Lorenzen-Style Strategies as Proof-Search Strategies.

Matteo Acclavio Davide Catta

Published in: EUMAS (2023)

Keyphrases

search strategies
search strategy
selection strategies
search algorithm
search methods
heuristic search
constraint programming
evolutionary algorithm
meeting scheduling
theorem prover
sat solvers
retrieval effectiveness
branch and bound
multimedia
search procedures
neural network
state space