Login / Signup
Improving linear search algorithms with model-based approaches for MaxSAT solving.
Ruben Martins
Vasco M. Manquinho
Inês Lynce
Published in:
J. Exp. Theor. Artif. Intell. (2015)
Keyphrases
</>
convex quadratic programming
search algorithm
combinatorial optimization
machine learning
neural network
learning algorithm
search tree