Beyond the structure of SAT formulas
Tesis llevada a cabo para conseguir el grado de Doctor por la Universidad Autónoma de Barcelona--25-05-2016
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Fecha de publicación: | 2016 |
| País: | España |
| Institución: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/197549 |
| Acceso en línea: | http://hdl.handle.net/10261/197549 |
| Access Level: | acceso abierto |
| Palabra clave: | SAT solving Complex networks Structure of real-word problems |
| Sumario: | Tesis llevada a cabo para conseguir el grado de Doctor por la Universidad Autónoma de Barcelona--25-05-2016 |
|---|