• 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
    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). ...