Login / Signup
Contest Diversification and Solvers' Earning Performance.
Kai Ye
Tat Koon Koh
Published in:
PACIS (2024)
Keyphrases
</>
tabu search
sat solvers
search strategies
highly optimized
quantified boolean formulas
constraint satisfaction
information systems
search space
evolutionary algorithm
general purpose
constraint solver
sat solving
search result diversification
backtracking search
eigenvalue problems