Now showing items 1-1 of 1

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

    Brufau Vilaró, Oriol (Universitat Politècnica de Catalunya, 2017-01)
    Bachelor thesis
    Restricted access - author's decision
    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). ...