A computational study of primal heuristics inside an MI(NL)P solver.

Published in: J. Glob. Optim. (2018)

Keyphrases

experimental study
natural language
mutual information
social networks
case study
learning environment
search algorithm
scheduling problem
statistical analysis
heuristic search
quantified boolean formulas