Exploració per autor "Brufau Vilaró, Oriol"
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 SolutionsThe 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). ...