Estadísticas de visualización y descarga
Número total de visitas
desde el momento de su depósito en el Repositorio CONICET Digital
| Título | Visualizaciones | Descargas |
|---|---|---|
| TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds | 216 | 21 |
Visitas al mes
de los últimos 6 meses
| diciembre 2023 |
|---|
| 2 |
Cantidad de accesos por país
| Visualizaciones | |
|---|---|
| Argentina | 50 |
| Estados Unidos | 39 |
| Holanda | 21 |
| China | 8 |
| Alemania | 7 |
| Irán | 2 |
| Perú | 2 |
| Rusia | 2 |
| Chile | 1 |
| España | 1 |
| Sin datos* | 83 |
Cantidad de accesos por ciudad
| Visualizaciones | |
|---|---|
| Ashburn | 17 |
| Buenos Aires | 13 |
| Fairfield | 9 |
| Rio Cuarto | 7 |
| San Ramon | 7 |
| Vicente Lopez | 5 |
| Hangzhou | 3 |
| Cordoba | 2 |
| Escobar | 2 |
| Louisville | 2 |
| Sin datos* | 149 |
*Sin datos: En origen no se informa País o Ciudad.