SAT solvers i extensions
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2099.1/5206
Tipus de documentProjecte/Treball Final de Carrera
Data2007-06-13
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 2.5 Espanya
MatèriesLogic, Symbolic and mathematical -- Data processing, Algorithms -- Data processing, Lògica matemàtica -- Informàtica, Algorismes -- Informàtica
TitulacióENGINYERIA INFORMÀTICA (Pla 2003)
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
mem.pdf | 258,7Kb | Visualitza/Obre |