Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/18737

Solving integer programming problems using DPLL-based algorithms
Fiol Arguimbau, Albert
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Nieuwenhuis, Robert Lukas Mario
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat
Computer algorithms
ilp
solver
dpll
intsat
cplex
sat
Algorismes computacionals
info:eu-repo/semantics/bachelorThesis
Universitat Politècnica de Catalunya
         

Mostrar el registro completo del ítem