1. Inicio
  2. Universitat Politècnica de Catalunya
  3. Treballs acadèmics
  4. Ver ítem

New constraint learning and inprocessing techniques for Integer Linear Programming.

Autor/a

Brufau Vilaró, Oriol

Otros/as autores/as

Universitat Politècnica de Catalunya. Departament de Ciències de la Computació

Barcelogic Solutions

Nieuwenhuis, Robert Lukas Mario

Fecha de publicación

2017-01

Compartir

Resumen

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

Tipo de documento

Bachelor thesis

Lengua

Inglés

Materias y palabras clave

Àrees temàtiques de la UPC::Matemàtiques i estadística; Computer science; Satisfiability; 0-1 ILP; Pseudo-Boolean; Unit propagation; SAT; Constraint; Informàtica; Classificació AMS::68 Computer science

Publicado por

Universitat Politècnica de Catalunya

Citación recomendada

Esta citación se ha generado automáticamente.

Exportar

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Derechos

Restricted access - author's decision

Este ítem aparece en la(s) siguiente(s) colección(ones)

Treballs acadèmics [82539]