Extraction of threshold functions from formulas in propositional logic
Visualitza/Obre
memoria.pdf (571,3Kb) (Accés restringit)
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/100538
Tipus de documentTreball Final de Grau
Data2017-01
Condicions d'accésAccés restringit per decisió de l'autor
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
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.
TitulacióGRAU EN MATEMÀTIQUES (Pla 2009)
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
memoria.pdf | 571,3Kb | Accés restringit |