Login / Signup

Improving linear search algorithms with model-based approaches for MaxSAT solving.

Ruben MartinsVasco M. ManquinhoInê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