Now showing items 1-9 of 9

  • Automated deduction with built-in theories: completeness results and constraint solving techniques 

    Godoy Balil, Guillem (Universitat Politècnica de Catalunya, 2001-10-11)
    Doctoral thesis
    Open Access
  • Desenvolupament d'un llenguatge i entorn de programació docent d'evolució linial i continu per un entorn preescolar i escolar 

    Vilella Vilahur, Jacobo (Universitat Politècnica de Catalunya, 2014-06-09)
    Master thesis (pre-Bologna period)
    Open Access
    Plataforma de programació intuïtiva, àgil i divertida que permet aprendre les estructures lògiques i mentals de la programació. S'adapta a tots els nivells d'aprenentatge des de l'edat més infantil (parvulari) fins al final ...
  • Extraction of threshold functions from formulas in propositional logic 

    Milesi Vidal, Eric (Universitat Politècnica de Catalunya, 2017-01)
    Bachelor thesis
    Restricted access - author's decision
    Given a formula in propositional logic F in some presentation (BDD, ROBDD, truth table), our aim is to find a threshold function T that is a logical consequence of F and that is as strong as possible according to certain ...
  • 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). ...
  • Plataforma de optimización combinatoria como un servicio 

    Pinto Quinto, Cristian Miguel (Universitat Politècnica de Catalunya, 2016-06)
    Bachelor thesis
    Restricted access - confidentiality agreement
  • SAT solvers i extensions 

    Lloret Llinares, Tomàs (Universitat Politècnica de Catalunya, 2007-06-13)
    Master thesis (pre-Bologna period)
    Open Access
  • Solving hard industrial combinatorial problems with SAT 

    Abío Roig, Ignasi (Universitat Politècnica de Catalunya, 2013-05-15)
    Doctoral thesis
    Open Access
    The topic of this thesis is the development of SAT-based techniques and tools for solving industrial combinatorial problems. First, it describes the architecture of state-of-the-art SAT and SMT Solvers based on the classical ...
  • Solving integer programming problems using DPLL-based algorithms 

    Fiol Arguimbau, Albert (Universitat Politècnica de Catalunya, 2013-06-20)
    Bachelor thesis
    Open Access
    [CATALÀ] En aquest projecte desenvolupem un SAT solver per a problemes de programació lineal entera, partint de l'algorisme de DPLL i extenent-lo per a que suporti variables enteres. Després afegim noves funcionalitats i ...
  • The referee assignment problem 

    Vallespi Soro, Farners (Universitat Politècnica de Catalunya, 2019-07)
    Bachelor thesis
    Open Access
    In collaboration between a UPC spinoff, Barcelogic, and the Dutch Football Federation (KNVB), we define, study, implement and evaluate different approaches for solving the so-called Referee Assignment Problem(RAP). In this ...