Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

60.175 UPC academic works
You are here:
View Item 
  •   DSpace Home
  • Treballs acadèmics
  • Facultat de Matemàtiques i Estadística
  • Grau en Matemàtiques (Pla 2009)
  • View Item
  •   DSpace Home
  • Treballs acadèmics
  • Facultat de Matemàtiques i Estadística
  • Grau en Matemàtiques (Pla 2009)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Extraction of threshold functions from formulas in propositional logic

Thumbnail
View/Open
memoria.pdf (571,3Kb) (Restricted access)
Share:
 
  View Usage Statistics
Cita com:
hdl:2117/100538

Show full item record
Milesi Vidal, Eric
Tutor / directorNieuwenhuis, Robert Lukas MarioMés informacióMés informacióMés informació
Document typeBachelor thesis
Date2017-01
Rights accessRestricted access - author's decision
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
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 criteria. In general this problem is essentially open, but here our objective is to identify particular cases where efficient exact or approximation algorithms exist and carry out a careful experimental assessment.
SubjectsComputer science--Mathematics, Informàtica--Matemàtica
DegreeGRAU EN MATEMÀTIQUES (Pla 2009)
URIhttp://hdl.handle.net/2117/100538
Collections
  • Facultat de Matemàtiques i Estadística - Grau en Matemàtiques (Pla 2009) [282]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
memoria.pdfBlocked571,3KbPDFRestricted access

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Inici de la pàgina