Login / Signup
ConArgLib: an argumentation library with support to search strategies and parallel search.
Stefano Bistarelli
Fabio Rossi
Francesco Santini
Published in:
J. Exp. Theor. Artif. Intell. (2021)
Keyphrases
</>
search strategies
parallel search
search strategy
search algorithm
heuristic search
search methods
retrieval effectiveness
evolutionary algorithm
constraint programming
search procedures
theorem proving
information retrieval
document collections
sat solvers
web search
data structure
objective function