Exploració per tema "0-1 ILP"

Ara es mostren els items 1-1 de 1

    • New constraint learning and inprocessing techniques for Integer Linear Programming. 

      Brufau Vilaró, Oriol (Universitat Politècnica de Catalunya, 2017-01)
      Treball Final de Grau
      Accés restringit per decisió de l'autor
      Realitzat a/amb:   Barcelogic Solutions
      The IntSat procedure [Nieuwenhuis 2014] is a complete method for Integer Linear Programming (ILP) based on conflict-driven constraint learning, extending similar ideas used in propositional satisfiability solving (SAT). ...