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 | 302 | 64 |
Visitas al mes
de los últimos 6 meses
| noviembre 2024 | diciembre 2024 | enero 2025 | febrero 2025 | marzo 2025 |
|---|---|---|---|---|
| 24 | 11 | 30 | 11 | 10 |
Cantidad de accesos por país
| Visualizaciones | |
|---|---|
| Estados Unidos | 100 |
| Argentina | 50 |
| Holanda | 21 |
| Suiza | 15 |
| China | 11 |
| Alemania | 9 |
| Rusia | 4 |
| Francia | 3 |
| Chile | 2 |
| Irán | 2 |
| Sin datos* | 85 |
Cantidad de accesos por ciudad
| Visualizaciones | |
|---|---|
| Boydton | 32 |
| Ashburn | 19 |
| Buenos Aires | 13 |
| Fairfield | 9 |
| Rio Cuarto | 7 |
| San Ramon | 7 |
| Vicente Lopez | 5 |
| Columbus | 4 |
| Hangzhou | 3 |
| Cordoba | 2 |
| Sin datos* | 201 |
*Sin datos: En origen no se informa País o Ciudad.