Mostra el registre d'ítem simple

dc.contributorNieuwenhuis, Robert Lukas Mario
dc.contributor.authorBrufau Vilaró, Oriol
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2017-02-03T10:30:27Z
dc.date.issued2017-01
dc.identifier.urihttp://hdl.handle.net/2117/100537
dc.description.abstractThe 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). The aim of this project is, restricted to the Pseudo-Boolean ILP case, to extend this method with new inprocessing techniques, proving the associated correctness and completeness properties, developing data structures and algorithms for their implementation, and providing a careful and extensive experimental assessment for them.
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya
dc.subjectÀrees temàtiques de la UPC::Matemàtiques i estadística
dc.subject.lcshComputer science
dc.subject.otherSatisfiability
dc.subject.other0-1 ILP
dc.subject.otherPseudo-Boolean
dc.subject.otherUnit propagation
dc.subject.otherSAT
dc.subject.otherConstraint
dc.titleNew constraint learning and inprocessing techniques for Integer Linear Programming.
dc.typeBachelor thesis
dc.subject.lemacInformàtica
dc.subject.amsClassificació AMS::68 Computer science
dc.identifier.slugFME-1410
dc.rights.accessRestricted access - author's decision
dc.date.lift10000-01-01
dc.date.updated2017-01-27T07:02:31Z
dc.audience.educationlevelGrau
dc.audience.mediatorUniversitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística


Fitxers d'aquest items

Imatge en miniatura

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets