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: | |
|---|---|
| Formato: | tesis doctoral |
| Fecha de publicación: | 2016 |
| País: | España |
| Recursos: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/197549 |
| Acesso em linha: | http://hdl.handle.net/10261/197549 |
| Access Level: | acceso abierto |
| Palavra-chave: | SAT solving Complex networks Structure of real-word problems |
| Resumo: | Tesis llevada a cabo para conseguir el grado de Doctor por la Universidad Autónoma de Barcelona--25-05-2016 |
|---|