RECERCAT Principal
>
Universitat Politècnica de Catalunya
>
Tesines i projectes i treballs de final de carrera
>
Visualizar documento
Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/5206
| Título: | SAT solvers i extensions |
|---|---|
| Autor/a: | Lloret Llinares, Tomàs |
| Otros autores: | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Nieuwenhuis, Robert Lukas Mario |
| Materia(s): | -Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Logic, Symbolic and mathematical -- Data processing -Algorithms -- Data processing -Lògica matemàtica -- Informàtica -Algorismes -- Informàtica |
| Derechos: | Attribution-NonCommercial-NoDerivs 2.5 Spain
http://creativecommons.org/licenses/by-nc-nd/2.5/es/ |
| Tipo de documento: | Trabajo/Proyecto fin de carrera |
| Editor: | Universitat Politècnica de Catalunya |
| Compartir: |
|